Какие пары формул исчисления высказываний, приведенные ниже, не являются равносильными:

  • (A⟶B) и (В⟶А)⟶B)
  • A⟶B и ¬ (A&¬B)
  • ¬ (A&B) и ¬A∨¬B
  • ¬A⟶ ¬B и B⟶А
  • А и (B⟶ ¬ (A⟶B))
Для просмотра статистики ответов нужно залогиниться.