Автор работы: Пользователь скрыл имя, 18 Мая 2013 в 14:03, курсовая работа
Алгебра Буля широко применяется при проектировании и проверке электрических схем, в которых используются реле, работающие по принципу "да - нет", при программировании и проектировании ЭВМ, в операциях с переключателями, сигналами, схемами. В современной математической логике этот раздел значительно усовершенствован и разрабатывается как теория булевых алгебр, в том числе как алгебра множеств, алгебра высказываний и т. п. В области традиционной логики соотношения Алгебры Буля часто используются для иллюстрации и прояснения отношений между объемами понятий.
Введение……………………………………………………………………………..3 Глава 1. Булева алгебра. 4
1.1 Булевы функции одной переменной 5
1.2 Булевы функции двух переменных 5
1.3 Реализация функций формулами. 6
1.4 Равносильные формулы 7
1.5 Законы булевой алгебры 7
1.6 Полнота системы булевых функций 9
Глава 2. Двойственность функций 10
2.1 Принцип двойственности 10
Глава 3. Совершенная дизъюнктивная нормальная форма, совершенная конъюнктивная нормальная форма, дизъюнктивная нормальная форма и конъюнктивная нормальная форма 12
3.1 СДНФ И СКНФ 12
3.2 ДНФ И КНФ 16
Глава 4. Примеры приведения формул Алгебры Высказываний к КНФ,ДНФ,СКНФ И СДНФ 20
Заключение………………………………………………………………………...23
Список литературы 24