> 数学 >
离散数学的一个证明题,
证明：┐(P←→Q)(P∧┐Q)∨(┐P∧Q) ,其中P、Q为命题公式.
人气：434 ℃　时间：2020-03-26 11:16:15
解答
这个命题等价于证明(P←→Q)(P∨┐Q)∧(┐P∨Q)；
P←→Q（P→Q）∧（Q→P); （1）
而P→Q┐P∨Q； （2）
推荐
猜你喜欢
© 2025 79432.Com All Rights Reserved.
电脑版|手机版