【計(jì)】 prenex-conjunctive normal form

前的英語翻譯：

former; forward; front; preceding; priority
【醫(yī)】 a.; ante-; antero-; fore-; pro-; proso-; ventri-; ventro-

束的英語翻譯：

bind; bundle; colligate; faggot; fagot; restrain; sheaf; tie; truss
【計(jì)】 beam
【醫(yī)】 beam; bundle; Fasc.; fasciculi; fasciculus; fasicle; tract; tractus
【經(jīng)】 bundle

合取范式的英語翻譯：

【計(jì)】 conjunctive normal form; normal conjunctive form