Базовые операторы
Базовыми элементами, которыми оперирует алгебра логики, являются высказывания.
Высказывания строятся над множеством {B, -, ⋀, ⋁, 0, 1}, где B — непустое множество, над элементами которого определены три операции:
- отрицание (унарная операция),
⋀ конъюнкция (бинарная),
⋁ дизъюнкция (бинарная),
а логический ноль 0 и логическая единица 1 — константы.