问答题
求公式((p∨q)∧(p→q))↔(q→p)的主合取范式。
问答题 求公式((p→q))∨(q→p)的主合取范式。
问答题 求公式p→((q∧r)∧(p∨(q∧r)))的主析取范式。
填空题 设公式A含命题变项p、q、r,又已知A的主合取范式为,则A的主析取范式为()。