问答题 用消解法判断公式p∧（p∨q）∧q是否是可满足的。

问答题 设A={0，1}，试给出半群＜AA，°＞的运算表，其中°为函数的复合运算。

问答题 用消解原理证明下述公式是矛盾式： （（p∨q）∧p→q）。