Современная цифровая техника построена на двоичной логике. Основы этой замечательной науки заложил двести лет назад выдающийся английский математик Джордж Буль. Исследуя процессы мышления, он для формализации предложил использовать систему символов и правил. Так появились три основных логических действия  AND (и), OR (или), NOT (не).

Примечательно, что необычные работы этого математика опередили своё время и в течение многих лет считались странностью. Но сегодня, булева алгебра является основой формальной логики и теории вероятностей, по её законам работают электронные схемы и компьютеры, а кадеты изучают эту теорию в десятых классах.

В знак признания заслуг Джорджа Буля был назван тип переменной Boolean в программировании, а в 1964 году на Луне появился кратер с его именем.