דוגמאות של הצרנת ושלילת המושגים 'תלות לינארית', 'גבול סדרה', 'חח"ע', וכדומה
==DNF,צורות נורמליות: CNF,DNF==
ישנם ישנן 2 "צורות נורמליות" להצגת '''כל''' פסוקית - DNF ו CNF.
===DNF===
ביטוי מצורת DNF מורכב מאוסף "פסוקיות" המחוברות ביניהן על ידי פעולות "או". כל פסוקית בעצמה מורכבת ממחוברים מאטומים המחוברים ביניהם על ידי פעולות "וגם". כל מחובר אטום הוא משתנה או שלילת משתנה.
בצורה סכמטית <math>D_1 \lor D_2 \lor \dots \lor D_n</math> כאשר כל <math>D_i</math> מהצורה <math>q_1p_1\land q_2 p_2 \land \dots \land q_mp_m</math> וכל <math>q_ip_i</math> שווה למשתנה <math>x</math>
או לשלילותו <math>\lnot x</math>
|}
נתמקד בשורות שערך האמת שלהן הוא 1 (שורות 3,4,6)
שורה לשורה 3: נתאים ל- <math>q_1</math>את הפסוקית
<math>q_1p_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_1p_1</math>. כל הצבה אחרת (כלומר כל : הצבה של ערכי אמת של המשתנים בשורה אחרת) יתנו תתן 0 ב <math>q_1p_1</math>
באופן דומה ניצר נייצר <math>q_2p_2</math> עבור שורה 4 ו <math>q_3p_3</math> עבור שורה 6
<math>q_2p_2=\lnot x_1 \land\lnot x_2 \land x_3, q_3p_3=x_1\land \lnot x_2 \land x_3</math>
כעת ה DNF של טבלת האמת היא פשוט
<math>q_1p_1\or q_2 p_2 \or q_3p_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==