6.2 Aussagenlogik und Boolesche Algebra (Teil II)