F задаётся выражением (x ∧ ¬ y) ∨ (y ≡ z) ∨ ¬ w. На рисунке приведен фрагмент таблицы истинности