Опр. Представление б.ф. 
наз. совершенной дизьюктивной формой (СДНФ). 
, 
элементарная ф-ия.
На основании следствия 2 можно доказать теорему 2. Всякая б.ф. кроме б.ф.º0 имеет единственную СДНФ.
Теорема 3. Всякая б.ф может быть выражена в базисе Ø ,Ú , Ù
Док-во: Используем теорему 2 
Теорема 4. Всякая б.ф. кроме б.ф.=1 имеет единств-ую СКДНФ 
Док-во основано на принципе двойственности
