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