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