3 вариант
Упростить следующие выражения:
1. A v D & ¬(A v D) & C & B
2. (A & B) v C v ¬D v (D v C)
3. (X v ¬Y v Z) & (X v ¬Y v ¬Z) & (X v Y v Z)