填空题
6
已知公式A(p ,q ,r)的主合取范式为M 0∧M 3∧M 5,它的主析取范式为(写成编码形式)()。
¬Q,P →Q,P∨R 的有效结论是()。
填空题¬Q,P →Q,P∨R 的有效结论是()。
公式¬(P∨Q)↔(P∧Q )的主合取范式为()。
填空题公式¬(P∨Q)↔(P∧Q )的主合取范式为()。