В булевой алгебре в виде теоремы доказывается следующее утверждение: существует единый конструктивный подход, позволяющий преобразовать аналитическое выражение булевой алгебры, заданное в произвольной форме, к нормальной форме.
Пример: 
Замечания:
1. В общем случае любая булева функция может иметь несколько
ДНФ, отличающихся либо количеством термов, либо количеством букв в этих термах.
2. При построении комбинационной схемы, реализующей данную функцию по ее нормальной форме предпочтительней схема, которая обладает наименьшим числом термов и наименьшим количеством букв в этих термах.
3. По сравнению со схемой, построенной по ДНФ, схема, построенная по скобочной форме (*), является предпочтительной т.к. при одном и том же числе логических элементов (И, ИЛИ) содержит меньшее число входов (9 вместо 10).
Задача преобразования нормальной формы булевой функции в скобочную форму называют задачей факторизации.
4. Сущность конструктивного подхода при получении ДНФ состоит в следуюшем:
а) преобразование операций небулевого базиса к операциям булевого базиса (см. последний столбец табл.2);
б) снятие отрицаний над выражениями с применением законов двойственности;
в) раскрытие скобок с применением дистрибутивного закона;
г) упрощение выражения с применением законов поглощения, склеивания, сокращения и тавтологии.
Приведенные рассуждения справедливы и для КНФ.
