prenex-disjuctive normal form的意思|示意

美 / / 英 / /

前束析取范式

前束析取范式 ... 前束合取范式 prenex-conjunctive normal form; 前束式 prenex form; prenex formula; 前束析取范式 prenex-disjuctive normal form ...