问答题
求公式ㄱ(ㄱ(p→q))∨(ㄱq→ㄱp)的主合取范式。
问答题 求公式p→((q∧r)∧(p∨(q∧r)))的主析取范式。
填空题 设公式A含命题变项p、q、r,又已知A的主合取范式为,则A的主析取范式为()。
问答题 在R中定义二元运算*使得a,b∈R,a*b=a+b+ab,证明:<R,*>构成独异点。