PDF-версии: 
i
Символом F обозначено одно из указанных ниже логических выражений от трёх аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F:
| X | Y | Z | F |
|---|---|---|---|
1 | 0 | 0 | 0 |
0 | 1 | 1 | 1 |
1 | 0 | 1 | 1 |
Какое выражение соответствует F?
1) X → Z ∧ Y
2) ¬Z →(X → Y)
3) ¬(X ∨ Y) ∧ Z
4) ¬X ∨ ¬(Y ∧ Z)