数理逻辑问题((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交~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.
不过右边应该蕴涵了左边