רשום נכון או לא נכון:
א. כאשר יורד גשם, יש עננים או שיש ברז כיבוי אש פתוחאם אני מנגן בחצוצרה אז לא מנגן בתופים ובפסנתר יחד.
ב. אם אין ברז כיבוי אש פתוח לא מנגן בחצוצרה אז יורד גשםלא מנגן בפסנתר.
מסקנה: יש עננים אמ"ם יורד גשםלא מנגן בפסנתר אז מנגן בתופים.
פתרון: לא נכון: יורד גשם, אין עננים ויש ברז כיבוי אש פתוחניקח שקר בשלושתם (לא מנגן בכלום. .) א+ב מקבלים ערך <math>T</math> והמסקנה <math>F</math>.
====תרגיל====
רשום נכון או לא נכון:
א. כאשר יורד גשם, יש עננים או שיש ברז כיבוי אש פתוחאם אני מנגן בחצוצרה אז לא מנגן בתופים ובפסנתר יחד.
ב. אם אין ברז כיבוי אש פתוח לא מנגן בחצוצרה אז יורד גשםלא מנגן בפסנתר.
מסקנה: אם אין ברז כיבוי אש פתוח אז יש ענניםמנגן בפסנתר לא מנגן בתופים.
פתרון: נכון. נניח שאין ברז כיבוי אש פתוח. שמנגן בפסנתר, לכן לפי ב יורד גשםמנגן בחצוצרה. כעת מסעיף ואז לפי א יש עננים יוצא שלא מנגן בתופים או ברז פתוח, ובצירוף לזה שהנחנו שאין ברז פתוח נותר שיש ענניםלא מנגן בפסנתר (דה-מורגן). כיון שנתון שאני מנגן בפסנתר מתחייב שלא בתופים.
===דרכי הוכחה===