סוג של אלגברה שפותחה על די המתמטיקאי האנגלי ג'ורג' בול (Bolle) שחי במאה ה-19 (1864-1815), העוסקת בפתרון בעיות לוגיות על די מספר פעולות בסיסיות. היא עוסקת במצבים שיש להם שני תנאים, ערכים או מצבים. שני המצבים האפשריים יכול שיהיו "כן" ו"לא" או הערך "אפס" והערך "אחד" (ראה:
בינרי). אלגברה זו היא הבסיס למערכות המחשבים המודרניות
(להרחבה ראה מעות)אנגלית: Boolean algebra