析取范式
编辑:Simone
2024-09-11 10:13:25
608 阅读
在离散数学中,仅由有限个文字构成的合取式称为简单合取式,而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性:任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取范式是惟一的。
想要了解更多“析取范式”的信息,请点击:析取范式百科
版权声明:本站【问百科】文章素材来源于网络或者用户投稿,未经许可不得用于商用,如转载保留本文链接:https://www.wenbaik.com/answer/100659.html