Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F?
| X |
Y |
Z |
F |
| 1 |
0 |
1 |
0 |
| 0 |
1 |
0 |
1 |
| 1 |
1 |
1 |
0 |
1) (X ~ Z) ∧ (¬X → Y)
2) (¬X ~ Z) ∧ (¬X → Y)
3) (X ~ ¬Z) ∧ (¬X → Y)
4) (X ~ Z) ∧ ¬(Y → Z)
Знак ~ означает «эквивалентность», то есть «X ~ Z» значит «значения X и Z совпадают».