ВВЕДЕНИЕ. В пособии приводятся необходимые теоретические сведения и образцы решения задач по основным темам раздела «Алгебра логики»:

В пособии приводятся необходимые теоретические сведения и образцы решения задач по основным темам раздела «Алгебра логики»:

– высказывания и логические операции над ними;

– равносильные формулы алгебры логики;

– функции алгебры логики;

– совершенные нормальные формы;

– некоторые приложения.

Теоретический материал почерпнут, в основном, из указанного выше учебного пособия Л.М. Лихтарникова [9]. По указанным темам приведены примеры решения типовых задач и задачи для самостоятельной работы. В конце пособия содержатся контрольные вопросы и контрольные задания.

Для успешного усвоения раздела следует основательно изучить теоретический материал, ответить на предложенные вопросы и подробно разобрать приведённые примеры с решениями. Затем можно переходить к самостоятельному решению задач.

Данное учебно-методическое пособие дополняет указанное выше учебное пособие и способствует успешному усвоению материала раздела «Алгебра логики», являющегося составной частью курса «Математическая логика». Пособие может быть использованы при изучении «Алгебры логики» не только в вузах, но и в средних учебных заведениях при проведении факультативных курсов, а также оказаться полезной лицам, желающим повторить или углубить вузовский курс математической логики.