Упростить логическое выражение X & Y ˅ X & ¬Y & Z ˅ ¬Y & X & ¬Z ˅ X & ¬Z.

1. Воспользуемся дистрибутивным законом и вынесем общий множитель \(X & ¬Y\) за скобки.
...
2. Закон исключения третьего.
...
3. Операции с константами.
...
4. Воспользуемся дистрибутивным законом и вынесем общий множитель \(Х\) за скобки.
...
5. Закон исключения третьего \(Y ˅ ¬Y = 1\).
...
6. Операции с константами
...