Разлика между версии на „Булева алгебра“

м
редакция без резюме
м (r2.7.1) (Робот Добавяне: pms:Àlgebra ëd Boole)
м
'''Булевата алгебра''' (или алгебра на съжденията) е специална [[алгебрична структура]], която съдържа логическите оператори И, ИЛИ, НЕ, както и множествените функции [[сечение]], [[Обединение (теория на множествата)|обединение]], допълнение.
Тя е дефинирана за първи път от ирландския математик [[Джордж Бул]] (1815-1864) през [[19 век]], с цел да се използват алгебрични методи в [[логика]]та. Булевата алгебра и булевите операции стоят в основата на [[информатика]]та, [[програмиране]]то и функционирането на компютърните системи, тъй като компютрите са програмирани да извършват точно тези логически операции.
Операторите се срещат често написани по различен начин, напр. И, ИЛИ, НЕ (англ. AND, OR, NOT); ∧, ∨, ¬; математиците често използват + за ИЛИ, · за И и черта над символа за НЕ.
Тук са използвани логическите символи ∧, ∨ и ¬.