שינויים
/* צורות נורמליות: CNF ,DNF */
נתמקד בשורות שערך האמת שלהן הוא 1 (שורות 3, 4, 6).
לשורה 3 נתאים את הפסוקית <math>p_1D_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>p_1D_1</math>. כל הצבה אחרת (כלומר: הצבה של ערכי אמת של המשתנים בשורה אחרת) תתן 0 ב <math>p_1D_1</math>.
באופן דומה נייצר <math>p_2</math> עבור שורה 4 ו <math>p_3</math> עבור שורה 6:
<math>p_2D_2=\lnot x_1 \land\lnot x_2 \land x_3, \quad p_3D_3=x_1\land \lnot x_2 \land x_3</math>
כעת ה DNF של טבלת האמת היא פשוט
<math>p_1D_1\or p_2 D_2 \or p_3D_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===
נתמקד בשורות שערך האמת שלהן הוא 0 (שורות 1, 2, 5, 7, 8)
לשורה 1 נתאים את הפסוקית <math>q_1C_1= x_1 \lor x_2 \lor x_3</math>
מה עשינו? כל משתנה שערכו 0 השארנו בלי לגעת, וכל משתנה שערכו 1 החלפנו בשלילתו.
מה יצא לנו מזה? שימו לב שרק הצבה של ערכי האמת של <math>x_1,x_2,x_3</math> שמופיעים בשורה 1 תתן ערך אמת 0 ב <math>q_1C_1</math>. כל הצבה אחרת (כלומר: הצבה של ערכי אמת של המשתנים בשורה אחרת) תתן 1 ב <math>q_1C_1</math>.
באופן דומה נייצר <math>q_2C_2,q_3C_3,q_4C_4,q_5C_5</math> עבור שורות 2 , 5, 7 ו-8:
<math>q_2C_2= x_1 \lor \lnot x_2 \lor \lnot x_3, q_3C_3=\lnot x_1\lor \lnot x_2 \lor x_3</math>
<math> q_4C_4=x_1 \lor \lnot x_2 \lor \lnot x_3, q_5C_5= \lnot x_1 \lor \lnot x_2 \lor \lnot x_3</math>
כעת ה CNF של טבלת האמת היא פשוט
<math>q_1 C_1 \land q_2 C_2 \land q_3 C_3 \land q_4 C_4 \land q_5 C_5 </math>
הרחבה על עניינים אלו ניתן למצוא פה [[88-101 חשיבה מתמטית]]
