Логические основы ЭВМ Элементарные логические функции. Построение таблиц истинности. Домашнее задание. © Кошля Л. Н. учитель информатики

Цель урока: формирование навыков определения элементарных логических функций и построения, соответствующих им таблиц истинности. План урока. 1. Проверка домашнего задания. 2. Элементарные логические функции. Понятие таблиц истинности и способ их построения. 3. Практическая работа. Построение таблиц истинности. 4. Домашнее задание.

Логическая переменная - это переменная, относительно которой можно утверждать имеет она место (есть) или не имеет места (нет). Если факт есть обозначить единицей, факт нет- нулём, то можно утверждать, что логическая переменная принимает два значения - 0 и 1. Логическая функция также может принимать два значения. Таблица истинности - это таблица, устанавливающая соответствие между возможными наборами значений логических переменных и значениями функций.

АВА^B АВAvB КонъюнкцияДизъюнкция

АВА=>B АВА=B Импликация Эквиваленция

А¬А¬А Инверсия

АВ ¬( А^B ) АВ¬ (AvB) Отрицание от конъюнкции Отрицание от дизъюнкции

1.Составить таблицы истинности для утверждений: а) А или (не В) ; б) (не В) и А; в )не(А=>В) ; г) (не А) В 2.Сравнить с помощью таблиц истинности логические выражения: а) не (А или В) и (не А) и (не В); б) А=> (не В) и (не В) (не А).