Общая запись любой логической функции в СНДФ имеет вид

,

Иначе говоря, значение определяет факт вхождения в . При конституента входит в , а при – не входит.

Исходя из этой канонической формы записи, можно сформулировать правило получения аналитического выражения логической функции из таблицы истинности. Для этого нужно составить логическую сумму КЕ для тех наборов переменных, для которых логическая функция равна 1, причем переменные входят в каждую КЕ со знаком отрицания, если на соответствующем наборе они равны 0.