已知命题公式(¬p→q)→(¬q∨p)

最新推荐文章于 2022-09-14 17:45:13 发布

magic_now

最新推荐文章于 2022-09-14 17:45:13 发布

阅读量4.2k

点赞数 1

分类专栏：离散数学

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

本文链接：https://blog.csdn.net/qq_41870170/article/details/114839573

版权

离散数学专栏收录该内容

9 篇文章 1 订阅

订阅专栏

已知命题公式 $(\lnot p\rightarrow q)\rightarrow(\lnot q \lor p)$

构造真值表

p,q	$(\lnot p\rightarrow q)$	$(\lnot q \lor p)$	$(\lnot p\rightarrow q)\rightarrow(\lnot q \lor p)$
0 ,0	0	1	1
0,1	1	0	0
1,0	1	1	1
1,1	1	1	1

求主析取范式

$(\lnot p\rightarrow q)\rightarrow(\lnot q \lor p)$

$(p\lor q)\rightarrow(\lnot p \lor q)$

$\lnot(p\lor q)\lor(\lnot p \lor q)$

$(\lnot p \land \lnot q)\lor (\lnot q \lor p)$

$(\lnot p\land \lnot q)\lor \lnot q\lor p$

$(\lnot p\land \lnot q)\lor \lnot q\land(p\lor \lnot p)\lor p\land(q\lor \lnot q)$

$(\lnot p\land \lnot q)\lor(\lnot q\land p)\lor (\lnot q\land \lnot p)\lor (p\land q)\lor(p\land \lnot q)$

$(\lnot p\land \lnot q)\lor (\lnot q\land p)\lor(p\land q)$

关注

1
点赞
踩
5

收藏

觉得还不错? 一键收藏
1
评论
已知命题公式(¬p→q)→(¬q∨p)

已知命题公式(¬p→q)→(¬q∨p)(\lnot p\rightarrow q)\rightarrow(\lnot q \lor p)(¬p→q)→(¬q∨p)构造真值表p,q(¬p→q)(\lnot p\rightarrow q)(¬p→q)(¬q∨p)(\lnot q \lor p)(¬q∨p)(¬p→q)→(¬q∨p)(\lnot p\rightarrow q)\rightarrow(\lnot q \lor p)(¬p→q)→(¬q∨p)0 ,00110,1
复制链接

扫一扫

专栏目录

评论 1

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

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

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