问答题 已知p→（p∨q）是重言式，（p→q）∧q是矛盾式，试判断（p→（p∨q））∧（（p→q）∧q）及（p∨q）∧p的类型。

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

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