Задания
Версия для печати и копирования в MS Word
Какое логическое выражение равносильно выражению ¬ (¬A \/ ¬B) /\ C
1) ¬A \/ B \/ ¬C
2) А /\ B /\ C
3) (A \/ B) /\ C
4) (¬A /\ ¬B) \/ ¬C
Решение.
В первую очередь применим отрицание, вторым шагом уберем скобки:
¬ (¬A \/ ¬B) /\ C = (A /\ B) /\ C = А /\ B /\ C.
Ответ: 2.