連言標準形れんげんひょうじゅんけい<れん'げん>・ひょう'じゅん'けい

Math.EDVkonjunktive NormalformKNF