Решение задач
Разбор задачи A8 (демо ЕГЭ 2010)
Уровень сложности-базовый
Какое логическое выражение равносильно выражению ¬ (¬A \/ ¬B) /\ C
- ¬A \/ B \/ ¬C
- A /\ B /\ C
- (A \/ B) /\ C
- (¬A /\ ¬B) \/ ¬C
Решение:
¬(¬АV¬B)ΛC=¬¬(AΛB)ΛC-вынесли отрицание за скобки
¬¬(AΛB)ΛC=AΛBΛC-двойное отрицание логического выражения дает просто выражение.
Получилось: AΛBΛC.