Пример. Упростите выражение
x ˄
y ˅
x ˄
y ˄
z ˅
x ˄
z ˄
p.
Решение:
1) выносится за скобки общий множители x ˄ (y ˅ y ˄ z ˅ z ˄ p);
2) выносится общий множитель в скобке x ˄ (y ˄ (1 ˅ z) ˅ z ˄ p);
3) (1 ˅ z) при любом значении z даёт 1, получается x ˄ (y ˅ z ˄ p).
Ответ. x ˄ (y ˅ z ˄ p).