Проектът "Кракен"

[

←3

]

² Булевата алгебра, разработена от ирландския математик Джордж Бул (1815-1864), внася алгебрични методи в логиката. Това е специална алгебрична структура, която съдържа логическите оператори „и“, „или“ и „не“, както и множествените функции сечение, обединение, допълнение. Тя е в основата на информатиката, програмирането и функционирането на компютърните системи, които са програмирани да извършват точно тези логически операции. - Б. пр.