问答题 设A，B都是含命题变项p1，p2，...pn的公式，已知A∧B是矛盾式，能得出A与B都是矛盾式的结论吗？为什么？

问答题 设A，B都是含命题变项p1，p2，...pn的公式，证明：A∧B是重言式当且仅当A与B都是重言式。

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