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

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

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

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

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

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

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