问答题 用等值演算法证明以下等值式： （p∧￢q）∨（￢p∧q）（p∨q）∧￢（p∧q）

问答题 求出*运算的单位元和零元（如果存在）。

问答题 说明*运算是否满足交换律、结合律、幂等律。