导读 大家好,笑笑来为大家解答以上的问题。合取范式定理,关于合取范式定理这个很多人还不知道,现在让我们一起来看看吧!1、 在布尔逻辑中,
大家好,笑笑来为大家解答以上的问题。合取范式定理,关于合取范式定理这个很多人还不知道,现在让我们一起来看看吧!
1、 在布尔逻辑中,如果一个公式是子句的合取,那么它是合取范式(CNF)的。作为规范形式,它在自动定理证明中有用。它类似于在电路理论中的规范和之积形式。
关于合取范式定理到此分享完毕,希望能帮助到您。
标签:
版权声明:本文由用户上传,如有侵权请联系删除!