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

Символом 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))