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