Основные источники:

1. Дискретная математика : учебник для студ. учреждений сред. проф. образования / М.С.Спирина, П.А.Спирин. —. 7-е изд., стер. — М. : Издательский центр «Академия», 2012. —. 368 с.

Дополнительные источники:

1. Вентцель Е.С. «Исследование операций, задачи, принципы, методология» М. Наука 1988 г. 2. Гончарова Г.А., Мочалин А.А. Элементы дискретной математики. М. Форум - инфри - м 2003 г. 3. Горбатов В.А. Основы дискретной математики. М. Наука 1986 г. 4. Карпов В.Г., Мощенский В.А. Математическая наука и Дискретная математика. Минск. Винца школа 1977 г. 5. Яблонский С.В. Введение в дискретную математику. М. Наука, 1986 г., 384с.

Интернет ресурсы:

1. М.М. Арсланов, И.Ш. Калимуллин. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ.http://www.ksu.ru/f5/k2/bin_files/logika!13.pdf

2. Гиндикин С.Г. Алгебра логики в задачах. Электронная библиотека Московского государственного университета. http://lib.mexmat.ru/books/1383

Тема 3.3. Булевы функции. Самостоятельная работа №19.

Тема: Доказательство законов алгебры логики.

Время выполнения задания – 2ч.

Цель работы: Закрепление знаний по доказательствам законов алгебры логики.

Теоретический материал.

Доказательство логических законов. Доказать законы алгебры высказываний можно следующими способами:

построив таблицу истинности для правой и левой частей равенства;
выполнив эквивалентные преобразования над правой и левой частями равенства для приведения их к одному виду;
с помощью диаграмм Эйлера - Венна;
путём правильных логических рассуждений.

Перечислим наиболее важные тавтологии:

1. ,

2. ,