added "Gesetze der Aussagenlogik"