Die Boolesche Algebra der Aussagenlogik behandelt die Verknüpfungen zwischen Aussagen und die Regeln für diese Verknüpfungen.