问答题
求公式p→((q∧r)∧(p∨(q∧r)))的主析取范式。
问答题求公式p→((q∧r)∧(p∨(ㄱq∧ㄱr)))的主析取范式。
设公式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,*>构成独异点。