תורתו של המתימטיקאי האנגלי גורג בול, "המתימטיקה של הלוגיקה", שפותחה במאה התשע־עשרה. היא מבטאת מושגים לוגיים בצורה מתמטית, באמצעות מפתקים לוגיים, כגון: או, וגם, לא וכו. משתמשים בה ביצירת מעגלי המחשב הספרתי, המורכבים ממפתקים לוגיים אלה.
boolean logic
***