(х1 или не х1 и не х2) и не х2. Написать

Необходимо упростить выражение (x1 OR !x1 AND !x2) AND !x2.

Сначала воспользуемся законом дистрибутивности: X OR Y AND Z = (X OR Y) AND (X OR Z).

Т.е. наше выражение одинаково (x1 OR !x1) AND (x1 OR !x2) AND !x2.

Выражение (x1 OR !x1) согласно логической истине всегда правильно. 

Получаем: (x1 OR !x2) AND !x2. 

Но сообразно закона поглощения: X AND (X OR Y) = X.

Таким образом, наше выражение эквивалентно значению !x2, т.е "не x2".