שינויים
/* DNF */
נתמקד בשורות שערך האמת שלהן הוא 1 (שורות 3,4,6)
שורה 3: נתאים ל- <math>q_1</math>
<math>q_1=\lnot x_1 + \land x_2 +\land \lnot x_3</math> מה עשינו? התאמנו כל משתנה שערכו 0 לשלילה שלו וכל משתנה שערכו 1 השארנו בלי לגעת. מה יצא לנו מזה? שימו לב שרק ערכי האמת של <math>x_1,x_2,x_3</math> שמופיעים בשורה 3 יתנו ערך אמת 1 ב <math>q_1</math>. כל הצבה אחרת (כלומר כל ערכי אמת של המשתנים בשורה אחרת) יתנו 0 ב <math>q_1</math> באופן דומה ניצר <math>q_2</math> עבור שורה 4 ו <math>q_3</math> עבור שורה 6 <math>q_2=\lnot x_1 \land\lnot x_2 \land x_3, q_3=x_1\land \lnot x_2 \land x_3</math> כעת ה DNF של טבלת האמת היא פשוט <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>.
הרחבה על ענינים אלו ניתן למצוא פה [[88-101 חשיבה מתמטית]]
