设A为含命题变项p、q、r的重言式，则公式A∨（（p∧q）→r）的类型为（）。

判断集合关于指定的运算是否构成半群、独异点的群：一元实系数多项式的集合关于多项式的乘法。

问答题判断集合关于指定的运算是否构成半群、独异点的群：一元实系数多项式的集合关于多项式的乘法。

判断集合关于指定的运算是否构成半群、独异点的群：一元实系数多项式的集合关于多项式的加法。

问答题判断集合关于指定的运算是否构成半群、独异点的群：一元实系数多项式的集合关于多项式的加法。

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

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