Алгебра логики Полнота системы функций. Нормальные формы.
Полные системы функций •
Система функций «и-не» •
Полиномы Жегалкина •
Критерий Поста •
Элементарная конъюнкция •
Элементарная дизъюнкция •
Конъюнктивная и дизъюнктивная нормальные формы •
Алгоритм построения КНФ/ДНФ •
•
Разложение функций по переменным •
Пример разложения •
Следствие 1. •
Следствие 2. •
Совершенные нормальные формы •
Построение СДНФ •
Удаление повторяющихся ЭК •
Преобразование ЭК в правильные •
Преобразование ЭК в полные •
Построение СКНФ •
Преобразование ЭД в полные •
Построение СДНФ по таблицe истинности x y z F 0 0 1 1 0 1 0 1 1 0
Построение СКНФ по таблицe истинности x y z F 0 0 1 1 0 1 0 1 1 0
С использованием принципа двойственности •
Скачать презентацию Алгебра логики Полнота системы функций Нормальные формы
Алгебра логики 2.pptx