Данной формуле
(A ↔ B)
эквивалентны следующие формулы...

  • ( B ∨ A) ∧ (¬B ∨ ¬A)
  • ( B ∨ ¬A) ∧ (¬B ∨ A)
  • (B → A) ∧ (¬B → A)
  • (¬B ≠ A)
  • ¬(A ≠ B)

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.