Логика базового курса — это таблицы истинности, приоритет операций и несколько законов для упрощения. Задачи решаются таблицей, и найденный ответ обязательно проверяют подстановкой.
Что нужно знать
- Высказывание — повествовательное предложение, о котором можно сказать, истинно оно или ложно. Вопрос высказыванием не является.
- Приоритет по убыванию: НЕ, И, ИЛИ, импликация, эквивалентность.
- Таблица для трёх переменных — 2³ = 8 строк.
- Импликация A → B ложна только при A = 1 и B = 0.
- ¬A ∧ B при A = 0 и B = 1 равно 1.
- Законы де Моргана вносят отрицание в скобку: ¬(A ∧ B) = ¬A ∨ ¬B.
- Поглощение: A ∨ (A ∧ B) = A.
- Задачи на соответствие признаков решают таблицей, вычёркивая невозможные сочетания.
Где чаще всего ошибаются
- Считают импликацию ложной при ложной посылке.
- Выполняют ИЛИ раньше И.
- При внесении отрицания не меняют И на ИЛИ.
- Не проверяют найденный ответ подстановкой в условия.
Проверить себя
По этой же главе есть проверочная работа из 11 заданий на 25 минут. Проверка автоматическая, результат виден сразу — и по работе целиком, и по каждой теме.