Bul Algebrasi (Boolean Algebra) Bul algebrasining asosiy qoidalari: Ikki mukammal qiymat (Bit): Boolean algebra, faqat ikki mukammal qiymatdan foydalanadi, ya'ni "true" (to'g'ri) va "false" (yolg'on).
Ketma-ketligi (Completeness): Boolean algebra, umumiy algebraning barcha operatsiyalarini (qo'shish, ayirish, ko'paytirish, bo'lish, va boshqalar) bajarish uchun yetarlicha.
Tuzilishi (Structure): Boolean algebra, operandlar (o'zgaruvchilar) va operatorlar (qo'shish, ayirish, va boshqalar) orqali tuzilgan.