שינויים
/* DNF */
בצורה סכמטית <math>D_1 \lor D_2 \lor \dots \lor D_n</math> כאשר כל <math>D_i</math> מהצורה <math>q_1\land q_2 \land \dots \land q_m</math> וכל <math>q_i</math> שווה למשתנה <math>x</math>
או לשלילותו <math>\lnot x</math>
דוגמא: נמצא את צורת DNF של טבלת האמת הבאה:
{| border="1" align="center" style="text-align:center;"
| <math>x_1</math>
|<math>x_2</math>
|<math>x_3</math>
|<math>x_4</math>
|<math>x_5</math>
|<math>f(x_1,x_2,x_3,x_4,x_5)</math>
|-
|1
|0
|0
|1
|0
|0
|-
|1
|0
|1
|1
|1
|0
|-
|0
|0
|1
|0
|0
|1
|-
|0
|1
|1
|1
|1
|1
|-
|}
הרחבה על ענינים אלו ניתן למצוא פה [[88-101 חשיבה מתמטית]]