Основни логически порти
Основни логически порти "И", "ИЛИ", "НЕ".
Алгебра на логиката Е математически апарат, с който те пишат, изчисляват, опростяват и трансформират логически твърдения.
Създателят на алгебрата на логиката е английският математик Джордж Бул (19 век), на когото е кръстена Булева пропозиционална алгебра.
Например изречението „6 е четно число“ е твърдение, тъй като е вярно.
Математическият апарат на алгебрата на логиката е много удобен за описване на това как функционира хардуерът на компютъра, тъй като основната бройна система в компютъра е двоична, в която се използват числата 1 и 0 и стойностите на логическите променливи са също две: 1 и 0.