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