填空题
求公式((p∨q)∧(p→q))(q→p)的主合取范式。
问答题求公式((p∨q)∧(p→q))↔(q→p)的主合取范式。
求公式((p→q))∨(q→p)的主合取范式。
问答题求公式ㄱ(ㄱ(p→q))∨(ㄱq→ㄱp)的主合取范式。
求公式p→((q∧r)∧(p∨(q∧r)))的主析取范式。
问答题求公式p→((q∧r)∧(p∨(ㄱq∧ㄱr)))的主析取范式。