quantifier-free conjunctive-normal form

读音

汉语翻译

【计】 自由量词合取范式