שינויים
/* חוקי דה-מורגן */
* <math>\ \neg (A \wedge B) \equiv (\neg A) \vee (\neg B)</math>.
למשל, כמישהו כשמישהו שואל "האם עבר כאן קו 45 *או* קו 7?", תשובה שלילית פירושה "לא עבר כאן קו 45, *וגם* לא עבר כאן קו 7". אם רוכל מוכר שיקוי פלאים המצמיח שערות *וגם* מרפא שיעול, ורוצים להראות שהוא אינו דובר אמת, מספיק לבדוק שהשיקוי אינו מצמיח שערות, *או* אינו מרפא שיעול.
חוקי דה-מורגן מאפשרים לשפר את המשפט הקודם:
