设公式A含命题变项p、q、r，又已知A的主合取范式为，则A的主析取范式为（）。

在R中定义二元运算*使得a，b∈R，a*b=a+b+ab，证明：＜R，*＞构成独异点。

问答题在R中定义二元运算*使得∀a，b∈R，a*b=a+b+ab，证明：＜R，*＞构成独异点。

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

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

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

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