Изменения

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