German kanonische disjunktive Normalform: перевод на другие языки