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

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