Математическая
(теоретическая,
символическая) |
Логические связки (операции) над высказываниями
Высказывание - построение над множеством {B,  ,  ,  , 0, 1}
В - непустое множество, над элементами которого определены три базовые операции: конъюнкция ( или &,бинарная) • дизъюнкция (,бинарная) • отрицание ( ,унарная)
2 константы: 0 • 1
|
|---|
