Булева алгебра: Разлика между версии
Изтрито е съдържание Добавено е съдържание
м Премахнати редакции на 89.215.184.69 (б.), към версия на Vodenbot |
Vodnokon4e (беседа | приноси) м Грешки в статичния код: Липсващ затварящ таг, форматиране: 4x нов ред, 6 интервала, кавички, тире-числа (ползвайки Advisor) |
||
Ред 1:
'''Булевата алгебра''' (или алгебра на съжденията) е специална [[алгебрична структура]], която съдържа логическите оператори И, ИЛИ, НЕ, както и множествените функции [[сечение]], [[Обединение (теория на множествата)|обединение]], допълнение.
Тя е дефинирана за първи път от британския математик [[Джордж Бул]] (1815
[[Оператор (програмиране)|Операторите]] се срещат често написани по различен начин, напр. И, ИЛИ, НЕ (англ. AND, OR, NOT); ∧, ∨, ¬; математиците често използват + за ИЛИ, · за И и черта над символа за НЕ.
Ред 8:
== Дефиниция ==
Булева алгебра е [[множество]] ''S'' с дефинирани функции Λ ([[конюнкция]] ''И''), V ([[дизюнкция]] ''ИЛИ'') и ¬ ([[отрицание]] ''НЕ'')
== Булева алгебра с два елемента X1 X2 ==
Теорията се базира на действия над
Съждението:
:
Съждението:
:
При съставянето на сложни съждения се използват логическите операции „и“ (конюнкция), „или“ (дизюнкция), „не“ (отрицание), „следва“ (импликация).▼
▲При съставянето на сложни съждения се използват логическите операции
Най-висок приоритет има отрицанието, следвано от конюнкцията и дизюнкцията.
Изразите в тази алгебра се наричат '''булеви изрази'''.
|