logo

משפט דה-מורגן

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

משתני קלט מצב פלט
א ב ו NAND אוֹ ולא
0 0 0 1 0 1
0 1 0 1 1 0
1 0 0 1 1 0
1 1 1 0 1 0

הכללים של משפט דה-מורגן מופקים מהביטויים הבוליאניים עבור OR , AND , ולא באמצעות שני משתני קלט x ו-y. המשפט הראשון של דמורגן אומר שאם נבצע את פעולת ה-AND של שני משתני קלט ולאחר מכן נבצע את פעולת ה-NOT של התוצאה, התוצאה תהיה זהה לפעולת ה-OR של המשלים של אותו משתנה. המשפט השני של דמורגן אומר שאם נבצע פעולת OR של שני משתני קלט ואז מבצעים את לֹא פעולת התוצאה, התוצאה תהיה זהה לפעולת ה-AND של ההשלמה של אותו משתנה.

המשפט הראשון של דה-מורגן

לפי המשפט הראשון, תוצאת ההשלמה של פעולת ה-AND שווה לפעולת ה-OR של המשלים של אותו משתנה. לפיכך, היא מקבילה לפונקציית NAND והיא פונקציה שלילית-OR המוכיחה כי (A.B)' = A'+B' ונוכל להראות זאת באמצעות הטבלה הבאה.

תשומות תפוקה לכל קדנציה
א ב א.ב (א.ב)' א' ב' A'A+B'
0 0 0 1 1 1 1
0 1 0 1 1 0 1
1 0 0 1 0 1 1
1 1 1 0 0 0 0

משפט דה-מורגן

המשפט השני של דה-מורגן

לפי המשפט השני, תוצאת המשלים של פעולת OR שווה לפעולת ה-AND של המשלים של אותו משתנה. לפיכך, היא המקבילה לפונקציית NOR והיא פונקציה שלילית-AND המוכיחה כי (A+B)' = A'.B' ונוכל להראות זאת באמצעות טבלת האמת הבאה.

תשומות פלט לכל קדנציה
א ב א+ב (א+ב)' א' ב' א'.ב'
0 0 0 1 1 1 1
0 1 1 0 1 0 0
1 0 1 0 0 1 0
1 1 1 0 0 0 0

משפט דה-מורגן

ניקח כמה דוגמאות שבהן ניקח כמה ביטויים וניישם את המשפטים של דמורגן.

דוגמה 1: (A.B.C)'

(A.B.C)'=A'+B'+C'

דוגמה 2: (A+B+C)'

(A+B+C)'=A'.B'.C

דוגמה 3: ((A+BC')'+D(E+F')')'

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

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

משפט דה-מורגן
משפט דה-מורגן

כך,

משפט דה-מורגן

2) לאחר מכן, אנו מיישמים את המשפט הראשון של דמורגן. כך,

משפט דה-מורגן

3) לאחר מכן, אנו משתמשים בכלל מספר 9, כלומר (A=(A')') לביטול הפסים הכפולים.

משפט דה-מורגן

4) לאחר מכן, אנו מיישמים את המשפט השני של דמורגן. כך,

משפט דה-מורגן

5) יישם שוב את כלל מספר 9 כדי לבטל את הפס הכפול

משפט דה-מורגן

כעת, לביטוי הזה אין מונח שבו נוכל ליישם כלל או משפט כלשהו. אז זהו הביטוי הסופי.

דוגמה 3: (AB'.(A + C))'+ A'B.(A + B + C')'

mysql ליצור משתמש
משפט דה-מורגן