"conjunctive normal form" Deutsche bedeutung