Определение[править | править исходный текст]

Базовыми элементами, которыми оперирует алгебра логики, являются высказывания. Высказывания строятся надмножеством{B, , , , 0, 1}, где B — непустое множество, над элементами которого определены триоперации:

отрицание (унарная операция),

конъюнкция (бинарная),

дизъюнкция (бинарная),

а также константы— логический ноль0и логическая единица1.

Дизъю́нкт—пропозициональная формула, являющаясядизъюнкциейодного или болеелитералов(например ).Конъюнкт—пропозициональная формула, являющаясяконъюнкциейодного или более литералов (например ).