Задание A7 Проверка истинности логического выражения (типовые задания)

Тема: Основные понятия математической логики.

Что нужно знать:

1. условные обозначения логических операций


• ¬ A, не A (отрицание, инверсия)
• A /\ B, A и B (логическое умножение, конъюнкция)


• A \/ B, A или B (логическое сложение, дизъюнкция)


• A → B импликация (следование)
2. Правила построения таблиц истинности логических операций «И», «ИЛИ», «НЕ», «импликация»
3. операцию «импликация» можно выразить через «ИЛИ» и «НЕ»:
   A → B = ¬ A \/ B
4. если в выражении нет скобок, сначала выполняются все операции «НЕ», затем – «И», затем – «ИЛИ», и самая последняя – «импликация»
5. иногда полезны формулы де Моргана :
   ¬ (A /\ B) = ¬ A \/ ¬ B
   ¬ (A \/ B) = ¬ A /\ ¬ B

Примеры заданий