1. Har bir oʻzgaruvchisi TRUE (ROST) yoki FALSE (YOLGʻON) qiymatlardan birini qabul qilishi mumkin boʻlgan algebra.английскийboolean algebraрусскийбулева алгебра
2. Uch amaldan AND (VA), OR (YOKI), NOT (YOʻQ) iborat algebraik tuzilma. Bul algebrasi, mantiq qonuniyatlarini oʻrganib uni taklif etgan irlandiyalik Jon Bul shaʼniga uning nomi bilan atalgan. Bul algebrasida oʻzgaruvchilar ustida bajariladigan amallar bul amallari yoki mantiqiy amallar deb ataladi. Mantiqiy amallarni bajarish qoidalari mantiqiy sxemalarni oʻzgartirish uchun qulay. Shu sababli, bul algebrasi kompyuterni ishlab chiqishda asos boʻlgan.