vollstaendige konjunktive normalform: nicht gefunden