spezielle algebraische Struktur, bestehend aus einer Menge M, zwei auf ihr definierten zweistelligen Verknüpfungen ∧, ∨ und einer einstelligen Verknüpfung ¬. Diese Verknüpfungen können z. B. die mengentheoretischen Operationen Vereinigung (∪), Durchschnitt (∩) und Bildung der Komplementärmenge sein oder die logischen Verknüpfungen Konjunktion, Disjunktion und Negation. Zusätzlich zu den Eigenschaften eines