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

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