计算题 求公式p→（（q∧r）∧（p∨（ㄱq∧ㄱr）））的主析取范式。

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

填空题

设公式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，*＞构成独异点。

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

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