Как выразить эквивалентность через операции "не", "и" и "или"? докажите полученное тождество.

Эквивалентность выражается через И, ИЛИ и НЕ таким
A ↔ B = ¬ A ∧ ¬ B ∨ A ∧ B 
Докажем на примере:
A = 1, B = 0
0 ↔ 0 = ¬ 0 ∧ ¬ 0 ∨ 0 ∧ 0 = 1 ∧ 1 ∨ 0 ∧ 0 = 1 ∨ 0 = 1
1 ↔ 0 = ¬ 1 ∧ ¬ 0 ∨ 1 ∧ 0 = 0 ∧ 1 ∨ 1 ∧ 0 = 0 ∨ 0 = 0
1 ↔ 1 = ¬ 1 ∧ ¬ 1 ∨ 1 ∧ 1 = 0 ∧ 0 ∨ 1 ∧ 1 = 0 ∨ 1 = 1