Голосарій курсу

Диз’юнктивною нормальною формою (ДНФ) називають диз’юнкцію $D=k_1\vee k_2\vee ... \vee k_s$ елементарних кон’юнкцій  $k_j, (j=\overline{1,s})$, у якій  $k_j$ попарно різні.