вторник, 30 июня 2009 г.

Задание 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

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

Комментариев нет:

Отправить комментарий