离散数学的一个证明题,找人帮忙

[复制链接]
查看11 | 回复2 | 2010-11-28 01:26:31 | 显示全部楼层 |阅读模式
证明:┐(P←→Q)(P∧┐Q)∨(┐P∧Q) ,其中P、Q为命题公式。

回复

使用道具 举报

千问 | 2010-11-28 01:26:31 | 显示全部楼层
这个命题等价于证明(P←→Q)(P∨┐Q)∧(┐P∨Q);P←→Q(P→Q)∧(Q→P);
(1)而P→Q┐P∨Q;
(2)
回复

使用道具 举报

千问 | 2010-11-28 01:26:31 | 显示全部楼层
等值演算,把P←→Q转换为(P→Q)∧(Q→P),然后用蕴涵等值式,再用德摩根律
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

主题

0

回帖

4882万

积分

论坛元老

Rank: 8Rank: 8

积分
48824836
热门排行