Die aussagenlogischen Gesetze kann man als Rechenregeln für aussagenlogische Formeln auffassen. Dadurch bilden die aussagenlogischen Formeln eine mathematische Struktur: eine Boole’sche Algebra. In diesem Kapitel werden Boole’sche Algebren und ihre grundlegenden Eigenschaften behandelt. Insbesondere aus dem Dualitätsprinzip ergeben sich Rückschlüsse auf die Logik. Außerdem wird in diesem Kapitel der Kompaktheitssatz der Aussagenlogik bewiesen.