1302
правки
Изменения
ДНФ
,→Канонические формы логических формул
==Канонические формы логических формул==
Любая логическая формула задает некоторую [[булева функцияОпределение булевой функции|булеву функцию]]. Но для всякой [[булева функция|булевой функции]] можно привести бесконечно много формул ее представляющих. Одной из задач алгебры логики является построение '''канонических форм''' (т.е формул построенных по определенному правилу).
{{Определение