}}
==Алгоритм построения СКНФ по таблице истинности==
* 1. В таблице истинности отмечаем те наборы переменных, на которых значение функции равно 0.* <center>{| class="wikitable" align="left" style="width:29cm" border=1|+|-align="center" bgcolor=#EEEEFF| x || y || z || <xyz>|-align="center" bgcolor=#F0F0F0! 0 || 0 || 0 || 0|-align="center" bgcolor=#F0F0F0! 0 || 0 || 1 || 0|-align="center" bgcolor=#F0F0F0! 0 || 1 || 0 || 0|-align="center" bgcolor=#F0F0F0| 0 || 1 || 1 || 1|-align="center" bgcolor=#F0F0F0! 1 || 0 || 0 || 0|-align="center" bgcolor=#F0F0F0| 1 || 0 || 1 || 1|-align="center" bgcolor=#F0F0F0| 1 || 1 || 0 || 1|-align="center" bgcolor=#F0F0F0| 1 || 1 || 1 || 1|}</center> 2. Для каждого отмеченного набора записываем конъюнкцию всех переменных по следующему правилу : если значение некоторой переменной есть 0, то в дизъюнкцию включаем саму переменную, иначе ее отрицание. * <center>{| class="wikitable" align="left" style="width:29cm" border=1|+|-align="center" bgcolor=#EEEEFF! x || y || z || <xyz> || |-align="center" bgcolor=#F0F0F0| 0 || 0 || 0 || 0 || ( x \lor y \lor z)|-align="center" bgcolor=#F0F0F0| 0 || 0 || 1 || 0 || ( x \lor y \lor \overline{z})|-align="center" bgcolor=#F0F0F0| 0 || 1 || 0 || 0 || (x \lor \overline{y} \lor z)|-align="center" bgcolor=#F0F0F0! 0 || 1 || 1 || 1 || |-align="center" bgcolor=#F0F0F0| 1 || 0 || 0 || 0 || (\overline{x} \lor y \lor z)|-align="center" bgcolor=#F0F0F0! 1 || 0 || 1 || 1 || |-align="center" bgcolor=#F0F0F0! 1 || 1 || 0 || 1 || |-align="center" bgcolor=#F0F0F0! 1 || 1 || 1 || 1 || |}</center> 3. Все полученные дизъюнкции связываем операциями конъюнкции. <tex>med(x,y,z) = ( x \lor y \lor z) \land (\overline{x} \lor y \lor z) \land (x \lor \overline{y} \lor z) \land ( x \lor y \lor \overline{z})</tex>
==Примеры СКНФ для некоторых функций==
Стрелка Пирса: <tex> x \downarrow y = (\overline{x} \lor y) \land (x \lor \overline{y}) \land (\overline{x} \lor \overline{y})</tex>
