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