testhelp.link
поиск
о проекте
плагин
войти
Данной формуле
(A ↔ B)
эквивалентны следующие формулы...
( B ∨ A) ∧ (¬B ∨ ¬A)
( B ∨ ¬A) ∧ (¬B ∨ A)
(B → A) ∧ (¬B → A)
(¬B ≠ A)
¬(A ≠ B)
К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.