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