简答题 设文字l在合取范式S中出现，而l^c不在S中出现。把删去S中所有含l的简单析取式后得到的合取范式记作S′，则S≈S′。

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

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

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

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

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

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