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