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