===קבוצות קשרים שלמות===חזרה ל[[83-116, בדידה 1 להנדסה, מערכי תרגול|דף מערכי התרגול]].
תרגיל==צורות נורמליות: הוכח באמצעות טבלאות אמת שניתן להציג את הקשרים 'גרירה' ו'וגם' באמצעות 'או' ושלילה בלבדCNF ,DNF==
פתרון: מתקיים <math>A\to B \equiv \neg A \or B</math>ומתקיים <math>A \and B \equiv \neg(\neg A \or \neg B)</math>ישנן שתי "צורות נורמליות" להצגת '''כל''' פסוקית - DNF ו CNF.
===צורות נורמליות: CNF ,DNF=תרגיל====יהי <math>A</math> פסוק ויהי <math>C</math> צורת CNF שלו ו-<math>D</math> צורת DNF שלו. הוכיחו או הפריכו: <math>C\equiv D</math>
ישנן פתרון: ברור שהוכחה.... כעת, אחרי שהבנו שאלו שתי "צורות נורמליות" להצגת '''כלצורות''' פסוקית - DNF ו CNFשונות לאותו פסוק, כלומר הן שקולות, נבין איך צרים צורות אלו.
===DNF===
<math>C_1 \land C_2 \land C_3 \land C_4 \land C_5 </math>
הרחבה על עניינים אלו (שלושת התרגולים הראשונים) ניתן למצוא פה [[88-101 חשיבה מתמטית]]
