|
|
صفحة: 72
3 . 3 כללי צמצום מלבד הכללים שהוכחנו עד כה , קיימים כללים נוספים לפישוט ביטויים לוגיים . כללים אלה נקראים כללי צמצום או כללי ספיגה . פישוט ( או צמצום ) משמעותו - מציאת ביטוי לוגי זהה לביטוי המקורי , אך מכיל בדרך כלל פחות משתנים ופחות פעולות לוגיות . נוכיח כלל זה בעזרת טבלת אמת . ערכי אגף ימין ( טבלה ( 3 . 8 זהים לערכי אגף שמאל עבור כל אחד מהמצבים האפשריים , ובכך הוכח הכלל . ב . כלל הפילוג של חיבור בוליאני ביחס לכפל בוליאני כלל פילוג זה כולל אף הוא פעולות כפל וחיבור , אך בצורה שונה ו X + { Y-Z ) = ( X + Y ) - fX + Z ) כלל פילוג ב אינו מתקיים באלגברה הרגילה , אך מתקיים באלגברה הבוליאנית . בסעיף הבא נוכיח בדרך קצרה את כלל פילוג ב באמצעות כלל פילוג א . שאלה 3 . 9 הוכיחו את נכונותו של כלל הפילוג ב - באלגברה בוליאנית . טבלה 3 . 8 טבלת כלל הפילוג בפעולות חיבור וכפל
|
|