Значком /\ обозначена логическая операция И, значком \/ - логическая операция ИЛИ, значком ¬ - логическая операция НЕ
Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F (см. таблицу). Какое выражение соответствует F?;
X |
Y |
Z |
F |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1) ¬(X /\ Y) /\ Z
2)¬(X \/ ¬Y) \/ Z
3)¬(X /\ Y) \/ Z
4)(X \/ Y) /\ Z