海词手机词典

When the constraint expression of a query is not a CNF (Conjunctive Normal Form),it is generally transformed into an equivalent DNF (disjunctive normal form)an union of CNFs .

播放读音 播放读音

以上内容独家创作,受著作权保护,侵权必究

海词词典,十七年品牌