*<math>A \rightarrow B\equiv \neg A \or B</math>
*<math>A\or B \equiv \neg (\neg A \and \neg B) </math>
===תרגיל===
כתוב את הפסוק המתאר שלשה '''לא חוקית''' בSET.
===תרגיל===
בניסוי מפורסם בתורת ההחלטות, מציגים לנבדק ארבעה כרטיסים שבגבם הסימנים A, P, 2, 3. על כל כרטיס יש אות ומספר. אלו כרטיסים יש להפוך על-מנת לבדוק את הטענה "אם בצד אחד של הכרטיס יש אות ניקוד (AEIOU) אז בצידו האחר יש מספר זוגי?" רוב גדול של האנשים עונים שיש להפוך את הכרטיס הראשון והשלישי. מה התשובה הנכונה?
===תרגיל===
* לוגיקן הלך לאכול במסעדת גורמה. הוא ניגש אל המלצר בתחילת הארוחה ואומר לו:
"תקבל טיפ אלא אם: 1.תגיש את האוכל קר ובאיחור. 2. האוכל לא טעים ולא בררת איתי לגבי טעמו
דבר אחד עשוי להציל את הטיפ שלך - אם האוכל יהיה קר וטעים ויגיע באיחור, תוכל לפצות אותי על ידי קינוח חינם".
הצרן את התנאי לקבלת טיפ, וחשב מה קרה בארוחה אם ידוע שהמלצר לא קיבל טיפ.
פתרון:
P - המלצר קיבל טיפ
H - האוכל הגיע חם
O - האוכל הגיע בזמן
K - האוכל הגיע טעים
B - המלצר בירר לגבי טעם האוכל
D - המלצר נתן קינוח חינם
התנאי לקבלת טיפ: <math>\neg \left[(\neg H\and \neg 0)\and (\neg K\and \neg B)\right] \or (\neg H\and K \and \neg O \and D ) \rightarrow P </math>
== הצרנה ==
