Решение задач
Разбор задачи A10 (демо ЕГЭ 2011)
Время выполнения-1 мин, уровень сложности-базовый
Укажите, какое логическое выражение равносильно выражению A \/ ¬( ¬B \/ ¬C):
- ¬A \/ B \/ ¬C
- A \/ (B /\ C)
- A \/ B \/ C
- A \/ ¬B \/ ¬C
Решение:
AV¬(¬BV¬C)=A¬¬(BΛC)-вынесли за скобки операцию отрицания
AV¬¬(BΛC)=AV(BΛC)-двойное отрицание логического выражения дает просто выражение.
Получилось: AV(BΛC).