离散数学,可满足性问题与消解法,定理2.8的证明C1∧C2≈Res(C1，C2)

最新推荐文章于 2025-01-12 06:00:00 发布

nmgyangguangyuan

最新推荐文章于 2025-01-12 06:00:00 发布

阅读量1.4w

点赞数 4

分类专栏： 2_数学 2.1_离散数学

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/nmgyangguangyuan/article/details/79177847

版权

2_数学同时被 2 个专栏收录

2 篇文章

订阅专栏

2.1_离散数学

2 篇文章

订阅专栏

记 $C=Res(C_{1}，C_{2})$ ,设消解文字和 $l^{c}$ . 同时设 $C_{1}$ = $C_{1}^{'}$ $\vee$ , $C_{2}=C_{2}^{'}\vee l^{c}$ ,于是 = $C_{1}^{'}$ $\vee C_{2}^{'}$ .

假设 $C_{1}\wedge C_{2}$ 是可满足的, $\alpha$ 是满足他的赋值,(在这里, $C_{1}\wedge C_{2}$ 是合取范式,它被满足,当且仅当 $C_{1}=1,C_{2}=1$ ),不妨设 $\alpha(l)=1$ ,由于 $\alpha$ 也满足 $C_{2}$ , $C_{2}$ 必有文字满足为1,(由于 $\alpha(l)=1$ ,所以 $\alpha(l^{c})=0$ ,但是我们需要为1的赋值,所以暂时记为 $l^{'}$ ), $l^{'} \ne l$ 且 $\alpha (l^{'})=1$ , $C_{1}^{'}$ 与 $C_{2}$ 消解掉 l和l^c, $得到Res(C_{1}，C_{2})$ ,但是并没有消解掉 $l^{'}$ ,所以C中含有 $l^{'}$ ,故 $\alpha$ 满足C

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。