作业帮 > 政治 > 作业

数理逻辑问题((p1交~p2)并(~p1交p2)) 交 ((p3交~p4) 并(~p3交p4)) = p1交p2交p3交

来源:学生作业帮 编辑:作业帮 分类:政治作业 时间:2024/05/10 04:52:07
数理逻辑问题
((p1交~p2)并(~p1交p2)) 交 ((p3交~p4) 并(~p3交p4)) = p1交p2交p3交~p4)
P1 = Bill is from Boston.
P2 = Jim is from Chicago.
P3 = Sam is from Boston.
P4 = Bill is from Chicago.
等价关系有问题吧?当p1=p3=T,而p2=p4=F的时候,左边值为T,而右边却为F.
不过右边应该蕴涵了左边