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