(¬Х ⋀ Y) ⋁ (¬Y ⋁ X) ⋁ ¬X
В скобках и за скобками знаки одинаковые, значит можем записать:
(¬Х ⋀ Y) ⋁ (¬Y ⋁ X) ⋁ ¬X = (¬Х ⋀ Y) ⋁ ¬Y ⋁ X ⋁ ¬X = (¬Х ⋀ Y) ⋁ ¬Y ⋁ 1 = (¬Х ⋀ Y) ⋁ ¬Y
Упростим выражения, используя формулы:
(¬Х ⋀ Y) ⋁ ¬Y = ¬Х ⋁ ¬Y
___ ___
Х -----⎜¬ ⎜-----⎜ |
⎜ |
___ ⎜⋁ |--------
Y ---- ⎜¬ ⎜-----⎜__ |