Смотреть видео: F задаётся выражением (x ∧ ¬ y) ∨ (y ≡ z) ∨ ¬ w.