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