Regeln fuer Aussagenlogik ergaenzt