Серед множин еквівалентних формул, що зображують булеву функцію f виділяється одна формула, досконала нормальна форма(ДНФ).
ДНФ має регламентовану логічну структуру, а її побудову заснована на рекурентному застосуванні теорем спец.розкладання Булевих функцій про змінні.
Будь-яку булеву функцію f(x1,x2..xN)
Можна зобразити у такій формі 
=багатократна диз’юнкція, яка береться за всіма можливими наборами значень для будь-якого к-кількість змін.
