עיקר הפרק דך פישוט פונקציות באמצעות מפות קרנו . כאן נביא את המושגים העיקריים בפרק . ? ליטרל A \• A- הם שני הליטרלים של המשתנה . A ? איבר כפלי - ביטוי המורכב מליטרלים , הקשורים ביניהם על-ידי כפל בוליאני | בלבד . ? כפלן ( איבר כפלי קנוני ) - איבר כפלי המכיל ליטרל אחד של כל אחד ממשתני פונקציה בוליאנית נתונה . ? יספן ( איבר חיבורי קנוני ) - איבר חיבורי המכיל ליטרל אחד של כל אחד ממשתני פונקציה בוליאנית נתונה . ? סכום של מכפלות קנוניות - פונקציה בוליאנית המורכבת מסכום של מכפלות קנוניות . ? מכפלה של סכומים קנוניים - פונקציה בוליאנית המורכבת ממכפלה של סכומים קנוניים . ? תאים סמוכים במפת קרנו שונים זה מזה בערכו של ליטרל אחד בלבד . ניתן לייצג פונקציה הרשומה בטבלת אמת כסכום של מכפלות קנוניות ; כמכפלה של סכומים קנוניים ; בייצוגים מספריים מתאימים י ובמפת קרנו . עבור צירופי ברירה § ניתן לקבוע , באופן שרירותי לחלוטין , אם להציב בפונקציה את הערך 0 או . 1 ניתן להשתמש בצירופי הברירה כדי לפשט את הפונקציה פישוט מרבי .
אל הספר