Значком /\ обозначена логическая операция И, значком \/ - логическая операция ИЛИ, значком ¬ - логическая операция НЕ, значком → - логическая операция следования
Выражение (¬ z \/(y /\ x)) /\ (¬ x \/y) ложно при
1) x=1, y=1, z=1
2) x=0, y=1, z=0
3) x=1, y=0, z=1
4) x=0, y=0, z=0