כללי דה מורגן

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

כללי דה-מורגן, הקרויים על-שמו של המתמטיקאי והלוגיקן בן המאה ה-19, אוגוסטוס דה-מורגן, הם שני כללים בלוגיקה, בתורת הקבוצות ובאלגברה בוליאנית (בפרט, לוגיקה בוליאנית), הקושרים את הפעולות הבסיסיות בתחומים אלה.

  • לוגיקה: הכללים קושרים את הפעולות "או", "גם", "לא". באופן מילולי בכתיב לא פורמלי, קובעים הכללים כי השלילה של קיום א' וגם קיום ב', היא אי-קיום א' או אי-קיום ב'; וכן כי השלילה של קיום א' או קיום ב', היא אי-קיום א' וגם אי-קיום ב'.

בכתיב פורמלי הם מוצגים כך:

למשל, המשפט "היום לא יום ראשון או שלא יורד עכשיו גשם" שקול לוגית למשפט: "לא נכון ש'היום יום ראשון וגם יורד עכשיו גשם'"

Venn1100.svg Venn1010.svg
Venn1000.svg
הדגמה של אחד הכללים בעזרת דיאגרמת ון.
שתי התמונות העליונות הן המשלימים לקבוצות המעגליות.
התמונה התחתונה מייצגת את חיתוך המשלימים הנ"ל –
השטח המשותף לשניהם, שהוא המשלים לאיחוד שלהם.
ובאופן כללי:
  • אלגברה בוליאנית: הכללים קושרים את הפעולות "חיבור", "כפל", "שלילה".
בהתאם להגדרת השלילה, הביטוי הוא שלילת הביטוי , ועל כן יקבל ערך אמת רק אם הוא בעל ערך 0, כלומר ערך שקרי.
כללי דה-מורגן קובעים כי שלילת זהה למכפלת שלילת בשלילת , ואילו שלילת זהה לחיבור שלילת עם שלילת .
או כך:
למעשה, ההבדל בין הגרסאות השונות לניסוח הכלל אשר הוצגו לעיל הוא בסימון בלבד.
שימוש בכללי דה-מורגן

לכללים אלה מספר שימושים, ביניהם:

  1. פישוט של ביטויים מתחומי הלוגיקה והמתמטיקה המתוארים לעיל.
  2. פישוט התניות בעת כתיבת תוכניות מחשב.
  3. שימוש באלקטרוניקה ספרתית (בה במקרים רבים נעשה שימוש בשתי רמות מתח בלבד) לצורכי פישוט תכנונם של מעגלים חשמליים, למשל, כאלה העושים שימוש בשערים לוגיים.
  4. ניתן לעשות שימוש בכללים אלה לצורך ייצוג של ביטויים על ידי שימוש בסוג אחד בלבד של פעולות, למשל פעולות NAND. להרחבה ראו הערך NAND לוגי.

הוכחה

הוכחת של כללי דה-מורגן מתבצעת באינדוקציה שלמה. כלומר, הצבה של כל הצירופים האפשריים בכל אחד מהפסוקים, נותנת ערכים שווים.

כך, אם נציב ערכי אמת ב- כאחד, אזי הביטוי יקבל ערך "אמת" והביטוי יקבל ערך "שקר", כמו גם ערכו של . לאחר הצבת כל הצירופים האפשריים של מתקבל, למעשה, הכלל.

הכלל בנוגע לתורת הקבוצות, ניתן להוכחה על נקלה בעזרת הכללים הנ"ל, זאת, בהינתן ההגדרות של חיתוך, איחוד ומשלים של קבוצה.

ההוכחה היא כדלהלן:

ובצורה דומה מוכח גם המשפט השני.

קישורים חיצוניים

  • כללי דה מורגן, באתר MathWorld (באנגלית)   המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.
Logo hamichlol.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0