Задание

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

1. Воспользуемся дистрибутивным законом и вынесем общий множитель (X & ¬Y) за скобки.

2. Закон исключения третьего.

3. Операции с константами.

4. Воспользуемся дистрибутивным законом и вынесем общий множитель (Х) за скобки.

5. Закон исключения третьего (Y ˅ ¬Y = 1).

6. Операции с константами