x1 ≡ x2, x1 ⇔ x2
Объяснение:
(x1 ∧ x2) ∨ (¬x1 ∧ ¬x2)
Заменяем ∧ на · , ∨ на +
(x1 · x2) + (¬x1 · ¬x2)
Скобки тут не нужны, умножение старше сложения
x1 · x2 + ¬x1 · ¬x2
Вообще-то это выражение не упрощается, можно только выполнить замену на эквиваленцию, получив x1 ≡ x2
