אלגברה בוליאנית (מבנה אלגברי)

אלגברה בוליאנית היא קבוצה עם שלוש פעולות: וגם, או, ולא. יש גם שני סימנים מיוחדים: 0 ו-1. אפשר לחשוב על זה כמו על קבוצה של תיבות שמכילות חפצים. הפעולה "וגם" היא החפצים המשותפים. הפעולה "או" היא כל מה שיש בשתי התיבות. "לא" לוקחת את מה שאין בתיבה. אם יש את הקבוצה \{x,y,z\}, כל תת-קבוצה שלה יוצרת אלגבר...