dimostra le seguenti equivalenza logiche, costruendo opportune tavole di verità