矛盾式的主析取范式为（）。

设p、q为命题变项，则（pq）的成真赋值为（）。

填空题设p、q为命题变项，则（ㄱp↔q）的成真赋值为（）。

判断集合关于指定的运算是否构成半群、独异点的群：Un={x|x∈CΛxn=1}，n为某个给定的正整数，C为复数...

问答题判断集合关于指定的运算是否构成半群、独异点的群：U_n={x|x∈CΛxⁿ=1}，n为某个给定的正整数，C为复数集，运算是复数乘法。

设B为含命题变项p、q、r的矛盾式，则公式B∧（（pq）→r）的类型为（）。

填空题设B为含命题变项p、q、r的矛盾式，则公式B∧（（p↔q）→r）的类型为（）。