kanonische konjunktive normalform: nicht gefunden