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