简答题 设A，B都是含命题变项p₁，p₂，...p_n的公式，已知A∧B是矛盾式，能得出A与B都是矛盾式的结论吗？为什么？

已知p→（p∨q）是重言式，（p→q）∧q是矛盾式，试判断（p→（p∨q））∧（（p→q）∧q）及（p∨q）∧...

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

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

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

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

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