הצרן את התנאי לקבלת טיפ, וחשב מה קרה בארוחה אם ידוע שהמלצר לא קיבל טיפ.
פתרון:
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>
=== ערך אמת ===