离散数学,求非(P∧Q)→(P∨Q)的主析取范式和主合取范式?

解这个题有一步是(P∧Q)∨(P∨Q)怎么再化简呢?

第1个回答  2019-12-11
用P'表示非p.
(P∧Q)'→(P∨Q)
=(P∧Q)∨(P∨Q)
=P∨Q.
可以吗?追问

啊,看不太懂。。。。

追答

哪一步看不懂?

追问

为什么(P∧Q)∨(P∨Q)=P∨Q呢?

追答

从集合的角度看,P∧Q是P∨Q的子集。

可以吗?

追问

可!

本回答被提问者采纳
相似回答