Приведены материалы трех практических занятий, логически объединенных общим названием. На уровне несложных задач даны основные понятия исчисления высказываний, расчета истинностных таблиц, булевой и жегалкинской алгебр логики. Материал практических занятий изложен в форме, позволяющей студенту самостоятельно изучить его, познакомиться с примерами, выполнить упражнения, проверить правильность их выполнения.
Для студентов высших учебных заведений, обучающихся по направлению подготовки инженеров 651900 "Автоматизация и управление" специальности 210100 "Управление и информатика в технических системах" и направлению подготовки бакалавров 550200 "Автоматизация и управление".

Практическое занятие 4. «Введение в математическую логику»	3
Применение математической логики в организации ЭВМ	5
Высказывания	4
Логические связки	6
Пропозициональные формулы	13
Булево множество и операции в нем	17
Булевы функции	18
Таблицы истинности	20
Упражнения	25
Практическое занятие 5. «Особые и равносильные формулы. Равносильные преобразования в булевой алгебре»	27
Равносильные формулы	27
Особые формулы	28
Равносильные преобразования формул	29
Основные равносильные формулы	29
Доказательство равносильности	31
Упрощение формул	36
Замечания о равносильных преобразованиях	40
Упражнения	44
Практическое занятие 6. «Выделение фиктивных переменных. Нормальные формы логических функций. Равносильные преобразования в алгебре Жегалкина»	46
Поиск фиктивных переменных	46
Минтермы и макстермы	48
Нормальные формы булевой алгебры	51
Запись формулы по таблице истинности	53
Алгебра Жегалкина	56
Равносильные преобразования в алгебре Жегалкина	60
Полином Жегалкина	62
Упражнения	66
Примерные варианты семестровой контрольной работы	68
Ответы к упражнениям	69
Список литературы	72