简答题 判断集合关于指定的运算是否构成半群、独异点的群：Q^*为正有理数集，运算是普通乘法。

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

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

判断集合关于指定的运算是否构成半群、独异点的群：a是正实数，G={an|n∈Z}，运算是普通乘法。

问答题判断集合关于指定的运算是否构成半群、独异点的群：a是正实数，G={aⁿ|n∈Z}，运算是普通乘法。

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

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