定义2．1．4合取范式（Conjectured Normal Formula） x上的合取范式是x上的一些子句的合取。如果一个布尔合取范式的每个乘积项最多是k个文字的析取式，就称为k元合取范式，简记为k—...
基于24个网页-相关网页
conjectured normal formula
猜想的正规公式
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动