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

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

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