אלגברה בוליאנית
מתוך ויקיפדיה, האנציקלופדיה החופשית
במתמטיקה ובמדעי המחשב, אלגברה בוליאנית היא אלגברה המתייחסת לפעולות במספרים 0,1, כאשר המספר 1 מציין ביטוי אמת, והמספר 0 ביטוי שקר. פעולת החיבור בה מקבילה למושג "או" בלוגיקה, ואילו פעולת הכפל מקבילה למושג "וגם" בלוגיקה. הקבלה נוספת היא למושג "איחוד" ביחסים בין קבוצות, ואילו פעולת הכפל מקבילה למושג "חיתוך" בקבוצות. על פעולות נוספות באלגברה בוליאנית ראו בערך פעולה בוליאנית.
אלגברה בוליאנית קרויה על שם יוצרה, האנגלי ג'ורג' בול, שמטרתו, באמצע המאה ה-19, הייתה ליצור אלגברה שתטפל בנושאים של תחשיב הפסוקים.
חלק עיקרי של ישום תורה זו נעשה במסגרת הלוגיקה הבוליאנית.