Skolem normal form
母式是合取范式的无前束范式称为斯科伦范式。 每个公式A都可以化为一个斯科伦范式B，使得A不可满足当且仅当B不可满足，称B为A的斯科伦范式。
详细内容
应用推荐
模块上移
模块下移
不移动