自由量词合取范式的英文翻译

英文翻译：【计】 quantifier-free conjunctive-normal form