فرع من الجبر يتعامل مع المتغيرات المنطقية (True/False) والعمليات (AND, OR, NOT).
الأساس الرياضي لتصميم الدوائر الرقمية والبرمجة.