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

Math. EDV konjunktive Normalform KNF