prenex disjunctive normal form

短语词组

短语

• prenex -disjunctive normal form 前束析取范式;翻译
返回 prenex disjunctive normal form