שינויים
/* צורות נורמליות: CNF ,DNF */
<math>C_1 \land C_2 \land C_3 \land C_4 \land C_5 </math>
נגדיר את הקשר ,נור, באמצעות: <math>q*r = \lnot(q\lor r)</math> ====תרגיל====הוכח ש <math>{*}</math> הינה קבוצת קשרים שלמה. פתרון: ראינו ששלילה ו"או" היא קבוצת קשרים שלמה. נראה שכל אחד מהם ניתן להצגה ע"י נור: מתקיים <math>A\to B lnot q \equiv \neg A lnot (q\or Blor q) \equiv q*q</math>ומתקיים <math>A q\and B lor r\equiv \neglnot \lnot (q\neg A lor r) \or equiv \neg Blnot (q*r)\equiv (q*r)*(q*r)</math>
הרחבה על עניינים אלו ניתן למצוא פה [[88-101 חשיבה מתמטית]]