问答题 证：如果C1，C2可对多对文字消解，其消解结果都是等值的。

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

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