斯科伦范式

编辑:睡眠网互动百科 时间:2019-12-12 18:38:50
编辑 锁定
本词条缺少信息栏名片图,补充相关内容使词条更完整,还能快速升级,赶紧来编辑吧!
母式是合取范式的无前束范式称为斯科伦范式。
每个公式A都可以化为一个斯科伦范式B,使得A不可满足当且仅当B不可满足,称B为A的斯科伦范式。[1] 
参考资料
  • 1.    尹宝林,何自强,许光汉,檀凤琴等.离散数学:高等教育出版社,2001:71