Урок 1. Базовые знания математической логики, логические элементы и таблицы истинности.

В первом уроке мы познакомимся с основными понятиями логики. Логические элементы, логические выражения, таблицы истинности правила выполнения логических выражений и принципы построения логических схем.

Рассматриваем конъюнкцию, дизъюнкцию, инверсию (отрицание) и импликацию (следование), составляем для них таблицы истинности.  Показываем, как эти логические элементы мы можем отобразить на схеме и при записи логических формул.

Урок 2. Порядок выполнения логических выражений. Создание логических схем и таблиц истинности.

Во втором уроке рассматриваем  порядок выполнения логических операций. Берем конкретный  пример, логическую формулу, показываем аналогию с операциями в математике.  Далее рисуем логическую схему, состоящую  из блоков рассматриваемой формулы.  Далее рассматриваем формулу, с помощью которой мы можем рассчитать количество возможных событий, которые мы можем получить, подавая на входы нашей схемы различные сигналы.  А затем составляем таблицу истинности. Используя полученную логическую схему и базовые таблицы истинности показываем,  как просто определить результат события, которое наступает при определенной подаем сигналов на входы схемы.  Рассказываем о существовании полных и неполных таблиц истинности.

Урок 3. Решаем логические выражения через построение таблиц истинности. В третьем уроке рассматриваем пример задания, для решения которого необходимо уметь составлять таблицы истинности.  Все действия описываем по шагам, для того, что бы объяснение было максимально понятно.  Повторяем порядок действий, т.е. приоритет логических операций.  Показываем, как удобнее пользоваться таблицами истинности для решения логических выражений. Для повышения эффективности решения  рассматриваем выигрышные  стратегии  решения подобных заданий.

Урок 4. Основные законы математической логики.

В этом уроке мы рассмотрим задание с использованием законов математической логики. Вводим понятие высказывание. Показываем, что высказывание может быть истинно или ложно, и что их можно обозначить как 0 или 1, после чего применить к ним правила логики.  Рассматриваем пример и решаем логическое выражение, состоящее из высказываний и уже известных нам логических операций между ними. В итоге приходим к общему  решению, которое может быть истинно или ложно. В зависимости от этого, определяем, выполняется ли логическое условие и получаем ответ к рассмотренному заданию .  В конце урока указываем, что самое главное при решении подобных заданий, помнить порядок логических операций и знать их таблицы истинности.

Урок 5. Математическая логика. Пример решения задания.

Рассматриваем еще одно задание на проверку знаний основ логики. В нем нужно определить при каких значениях Х истинно логическое высказывание.  Опять же напоминаем, что при решении подобных заданий, помнить порядок логических операций и знать их таблицы истинности.  Выполняем решение и поясняем каждое наше действие.