Ingliz matematigi Jorj Bul tomonidan 1847-yilda asos solingan bu nazariya, mantiqiy bayonotlarni matematik simvollarga aylantirish imkonini beradi. Claude Shannon tomonidan elektr komponentlariga tatbiq etilishi zamonaviy raqamli elektronika va kompyuter ilmida asosiy o'rin tutishini ta'minlagan.