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