(¬Х ⋀ Y) ⋁ (¬Y ⋁ X) ⋁ ¬X

В скобках и за скобками знаки одинаковые, значит можем записать:

(¬Х ⋀ Y) ⋁ (¬Y ⋁ X) ⋁ ¬X = (¬Х ⋀ Y) ⋁ ¬Y ⋁ X ⋁ ¬X = (¬Х ⋀ Y) ⋁ ¬Y ⋁ 1 = (¬Х ⋀ Y) ⋁ ¬Y 

Упростим выражения, используя формулы:

(¬Х ⋀ Y) ⋁ ¬Y = ¬Х ⋁ ¬Y 

             ___            ___

Х -----⎜¬ ⎜-----⎜    |

                             ⎜    |

             ___          ⎜⋁  |--------

Y ---- ⎜¬ ⎜-----⎜__ |