<math>q_1\or q_2 \or q_3=[\lnot x_1 \land x_2 \land \lnot x_3]\or [\lnot x_1 \land\lnot x_2 \land x_3] \or [x_1\land \lnot x_2 \land x_3]</math>.
==CNF==
ביטוי מצורת CNF מורכב מאוסף "פסוקיות" המחוברות ביניהן על ידי פעולות "וגם". כל פסוקית בעצמה מורכבת ממחוברים המחוברים ביניהם על ידי פעולות "או". כל מחובר הוא משתנה או שלילת משתנה.
בצורה סכמטית <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>
נדגים על הדוגמא לעיל.
נתמקד בשורות שערך האמת שלהן הוא 0 (שורות 1,2,5,7,8)
שורה 1: נתאים ל- <math>q_1</math>
<math>q_1= x_1 \lor x_2 \lor x_3</math>
מה עשינו? התאמנו כל משתנה שערכו 0 השארנו בלי לגעת וכל משתנה שערכו 1 התאמנו לשלילתו.
מה יצא לנו מזה? שימו לב שרק ערכי האמת של <math>x_1,x_2,x_3</math> שמופיעים בשורה 1 יתנו ערך אמת 0 ב <math>q_1</math>. כל הצבה אחרת (כלומר כל ערכי אמת של המשתנים בשורה אחרת) יתנו 1 ב <math>q_1</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, 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 חשיבה מתמטית]]