Читайте также:
|
Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
Базовыми элементами, которыми оперирует алгебра логики, являются высказывания.
Высказывания строятся над множеством {B,,,, 0, 1}, где B — непустое множество, над элементами которого определены три операции:
отрицание (унарная операция),
конъюнкция И (бинарная),
дизъюнкция ИЛИ (бинарная),
а логический ноль 0 и логическая единица 1 — константы.
Логические операции
Простейший и наиболее широко применяемый пример такой алгебраической системы строится с использованием множества B, состоящего всего из двух элементов:
B = { Ложь, Истина }
Как правило, в математических выражениях Ложь - ноль, а Истина — единица, а операции отрицания (НЕ), конъюнкции (И) и дизъюнкции (ИЛИ) определяются в привычном понимании. И - всегда оба критерия, ИЛИ - один или оба.
Табл истинности: для И, для ИЛИ
| А | В | Рез-т |
| А | В | Рез-т |
Не забываем, 1 истина, 0 ложь
Дата добавления: 2015-08-17; просмотров: 121 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Формула Шеннона для оценки количества информации и следствия из нее. | | | Правила построения логических выражений в СДНФ. |