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