> 数学 >
离散数学的一个证明题,
证明:┐(P←→Q)(P∧┐Q)∨(┐P∧Q) ,其中P、Q为命题公式.
人气:126 ℃ 时间: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.
电脑版|手机版