Основи на Булевата Алгебра

През 1847 г. Джордж Бул, Английски математик, дефинира нов вид алгебра, която приема само две стойности, вярно или невярно. Тези стойности се наричат 0 и 1. Тези символи не представят числа, а два различни вида съждения в едно устройство, като -включен или изключен, отворен или затворен и т.н.

Логическа променлива, е променлива, която може да има само две възможни стойности, като едната стойност изключва другата, т.е. ако имате една стойност, не можете да имате друга. Например, ДА или НЕ или 0 или 1. Нека си представим, че А е променлива, която съхранява отговора на даден въпрос. Включена ли е лампата? Може да има само два отговора: да или не. Ако е ДА, не може да бъде НЕ, ако е НЕ, не може да бъде ДА. Обикновенно, логическите променливи се представят чрез 0 или 1 в числова форма, което е съобразено с числовата двоична система, използвана в цифровите системи ( в рамките на цифровите системи се изключват изчислителните системи).

Комбинации от логически променливи в изречения като: нещо ще бъде вярно, когато „А” е вярно или 1 и „В” ще бъде вярно или невярно, ни позволяват да кажем, че е създадена една логическа функция. Предното твърдение може да бъде изразено чрез Булеви термини като: S = A·B.