4 . 4 . 7 פישוט פונקציות הנתונות כמכפלה של סכומים קנוניים ( רשות ) עד כה עסקנו בפישוט פונקציה , תוך שימוש במפת קרנו . כפי שכבר ראינו , בשעה שפונקצית מוצגת כמכפלה של סכומים , יש להתייחס לאותם צירופי המשתנים שעבורם מקבלת הפונקציה את הערך . 0 לכן , עבור פונקציות המוצגות כמכפלת סכומים , נרשום 0 במפת קרנו באותם תאים המייצגים את האיברים החיבוריים . האלגוריתם לצירוף איברים כפליים מתאים בכל לאלגוריתם לצירוף איברים חיבורייס . יחד עם זאת , יש שינוי במינוח : בהתאמה למונח רכיב ראשוני , נשתמש במונח מורכב ראשוני עבור קבוצת תאים שבהם ערך הפונקציה הוא . 0 נדגים את תהליך הפישוט במקרה זה בעזרת פונקציה בעלת ארבעה משתנים : נשתמש במפת קרנו לפישוט הפונקציה . מפת קרנו המתארת את הפונקציה נתונה באיור . 4 . 18 באיור זה סימנו במפורש את הצירופים שהפונקציה מקבלת בהם ערך . 0 המשבצות הריקות מציינות צירופים שערך הפונקציה בהם הוא . 1 האלגוריתם שראינו בתת-סעיף 4 . 4 . 5 מוליך באופן חד-משמעי לקבוצות שתוארו במפה זו . אולם , במקרה זה יתחלפו תפקידי ה1- וה : 0- משתנה שערכו 0 במשבצת מסוימת יופיע בפונקציה ללא היפוך ; כאשר ערך...
אל הספר