Булева алгебра
From Wikipedia, the free encyclopedia
Булевата алгебра (или алгебрата на съжденията) е клон от алгебрата. За разлика от училищната алгебра тук променливите могат да имат две стойности, наричани „ЛЪЖА“ и „ИСТИНА“, записвани също като „0“ и „1“. Друга основна разлика от обичайната алгебра е, че вместо аритметични действия се използват бинарните логическите оператори „И“, „ИЛИ“ и унарната операция „НЕ“. Работата с логическите операции има пряка връзка с операциите над множества сечение, обединение и допълнение.
Тя е формулирана за първи път от британския математик Джордж Бул (1815 – 1864) през 19 век, с цел да се използват алгебрични методи в логиката. Булевата алгебра и булевите операции стоят в основата на информатиката, програмирането и функционирането на компютърните системи, които работят чрез споменатите логически операции.
Операторите се срещат често написани по различен начин, напр. И, ИЛИ, НЕ (англ. AND, OR, NOT); ∧, ∨, ¬; математиците често използват + за ИЛИ, · за И и черта над символа за НЕ.
Тук са използвани логическите символи ∧, ∨ и ¬.