Оглавление. Введение________________________________________ 3
Теоретические
основы математической логики_____4
Алгебра
высказываний (АВ)____________________4
Основные
понятия_____________________________5
Алгебра
логики (АЛ)__________________________11
Булева
алгебра. Совершенная дизъюнктивная
нормальная форма (СДНФ)_____________________15
Приведение
к дизъюнктивной нормальной форме__16
Приведение
к конъюнктивной нормальной форме__18
Практические
занятия
2.1
Практическое занятие № 1______________________18
2.2.
Практическое занятие № 2_____________________21
2.3.
Практическое занятие № 3_____________________26
2.4.
Практическое занятие № 4_____________________31
2.5.
Практическое занятие № 5_____________________34
2.6.
Практическое занятие № 6_____________________39
2.7.
Практическое занятие № 7_____________________42
2.8.
Практическое занятие № 8_____________________43
2.9.
Практическое занятие № 9_____________________45
Литература_____________________________________48
57