基本解釋[數(shù)學(xué)]前束析取範(fàn)式詞組短語(yǔ)短語(yǔ)prenex -disjunctive normal form 前束析取範(fàn)式;繙譯prenex disjunctive normal form更多詞組專(zhuān)業(yè)釋義數(shù)學(xué)前束析取範(fàn)式