בצורה סכמטית <math>C_1 \land C_2 \land \dots \land C_n</math> כאשר כל <math>C_i</math> מהצורה
<math>q_1\lor q_2 \lor \dots \\lor q_m</math> וכל <math>q_i</math> שווה למשתנה <math>x</math>
או לשלילותו <math>\lnot x</math>
באופן דומה ניצר <math>q_2,q_3,q_4,q_5</math> עבור שורה 2 , 5 , 7 ו-8
<math>q_2= x_1 \lor \lnot x_2 \lor \lnot x_3, q_3=\lnot x_1\lor \lnot x_2 \lor x_3, </math> <math> q_4=x_1 \lor \lnot x_2 \lor \lnot x_3, q_5= \lnot x_1 \lor \lnot x_2 \lor \lnot x_3</math>
כעת ה CNF של טבלת האמת היא פשוט
<math>q_1 \land q_2 \land q_2 \land q_3 \land q_4 \land q_5 </math>
הרחבה על ענינים אלו ניתן למצוא פה [[88-101 חשיבה מתמטית]]