Логическое выражение (x1 ∧ x2) ∨ (¬x1 ∧ ¬x2)

x1 ≡ x2,  x1 ⇔ x2

Объяснение:

(x1 ∧ x2) ∨ (¬x1 ∧ ¬x2)

Заменяем ∧ на · , ∨ на +

(x1 · x2) + (¬x1 · ¬x2)

Скобки тут не нужны, умножение старше сложения

x1 · x2 + ¬x1 · ¬x2

Вообще-то это выражение не упрощается, можно только выполнить замену на эквиваленцию, получив x1 ≡ x2