55) x ∨ y = 1
¬z = 1
(x ∨ y) ∧ ¬z = 1
u = 1
(x ∨ y) ∧ ¬z ∨ u = 1
56) (x ∨ y ∨ z)(x ∨ y ∨ ¬z)(x ∨ ¬y ∨ z) = x
57) (x ∨ y) ∧ (x ∨ ¬y) = x
(x ∧ x) ∨ (x ∧ ¬y) ∨ (x ∧ y) ∨ (y ∧ ¬y) = x ∨ x = x
1) x ∧ x = x (з-н идемпотенции)
2) (x ∧ ¬y) ∨ (x ∧ y) = x (з-н склеивания)
3) y ∧ ¬y=0 (переменная с инверсией)