* [http://ru.wikipedia.org/wiki/%D0%A1%D0%94%D0%9D%D0%A4 Википедия — свободная энциклопедия]
* [http://dvo.sut.ru/libr/himath/w163rabk/index.htm Е.Л Рабкин, Ю.Б. Фарфоровская — Дискретная математика]
== Пример построения СДНФ ==
<center>
{| class="wikitable" align="right" style="width:10cm" border=1
|+
|-align="center" bgcolor=#EEEEFF
! x || y || z || <xyz> ||
|-align="center" bgcolor=#F0F0F0
| 0 || 0 || 0 || 0 ||
|-align="center" bgcolor=#F0F0F0
| 1 || 0 || 1 || 0 ||
|-align="center" bgcolor=#F0F0F0
| 0 || 1 || 0 || 0 ||
|-align="center" bgcolor=#F0F0F0
! 0 || 1 || 1 || 1 || <tex>(\overline{x} \land y \land z)</tex>
|-align="center" bgcolor=#F0F0F0
| 1 || 0 || 0 || 0 ||
|-align="center" bgcolor=#F0F0F0
! 1 || 0 || 1 || 1 || <tex>(x \land \overline{y} \land z)</tex>
|-align="center" bgcolor=#F0F0F0
! 1 || 1 || 0 || 1 || <tex>(x \land y \land \overline{z})</tex>
|-align="center" bgcolor=#F0F0F0
! 1 || 1 || 1 || 1 || <tex>(x \land y \land z)</tex>
|}
</center>
<tex>f(x,y,z) = (x \land y \land z) \lor (\overline{x} \land y \land z) \lor (x \land \overline{y} \land z) \lor (x \land y \land \overline{z})</tex>
