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