Условие:
Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z.
Дан фрагмент таблицы истинности выражения F:

Какое выражение соответствует F?
1) (X ≡ Z) ∧ (¬X → Y)
2) (¬X ≡ Z) ∧ (¬X → Y)
3) (X ≡ ¬Z) ∧ (¬X → Y)
4) (X ≡ Z) ∧ (¬ (Y → Z))
