问答题
已知p→（p∨q）是重言式，ㄱ（p→q）∧q是矛盾式，试判断（p→（p∨q））∧（ㄱ（p→q）∧q）及ㄱ（ㄱp∨q）∧p的类型。
前者为矛盾式，后者为重言式。
问答题 求出o运算的单位元和零元（如果存在）
问答题 说明o运算是否满足交换律、结合律、幂等律。
问答题 对于下列给定的集合A和B，构造从A到B的双射函数：A=[π，2π]，B=[-1，1]是实数区间。
