Урок по алгебре логики

Добрый день, 10 класс. Сегодня мы продолжим изучение алгебры логики, важного раздела, который готовит нас к программированию.
На этом уроке мы:
  • Вспомним основные понятия: логические высказывания, операции и их приоритеты.
  • Познакомимся с алгоритмом построения таблиц истинности для сложных логических выражений.
  • Решим задачи, чтобы отработать навыки построения таблиц истинности.
Основные моменты:
  • Алгебра логики — раздел, введенный Джорджем Боулем, в котором:
    • Понятие логического высказывания: повествовательное предложение, которое либо истинно, либо ложно.
    • Логические операции: отрицание (не), конъюнкция (и), дизъюнкция (или), импликация (если, то), эквиваленция (тогда и только тогда).
    • Приоритет операций: сначала выполняются операции в скобках, затем по приоритету: инверсия, конъюнкция, дизъюнкция, импликация, эквиваленция.
    • Построение таблиц истинности: определение числа столбцов и строк, заполнение согласно базовым таблицам истинности.