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

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

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

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

问答题

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

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

问答题

用消解原理证明下述公式是矛盾式：
（ㄱp∨q）∧（ㄱp∨r）∧（ㄱq∨ㄱr）∧（p∨ㄱr）∧r。