用主析取范式判断 公式(p→q)→r 与公式 q→(p→r)是否等值。
举一反三
- 公式P→(Q→R)与(P∧Q)→R是否等值
- 求下列公式的主范式.1.（P→Q）↔R（主析取范式）2.（P→Q）↔R（主合取范式）
- 用等值演算法求下列公式的主析取范式，并利用主析取范式直接给出主合取范式： p→((q∧r)∧(p∨(￢q∧￢r)))
- 用主析取范式判断下列公式是否等值： (1)(pq)r与q(pr) (pq)r的主析取范式 q(pr)的主析取范式 是否等值 (填“是”或“否”) (2)┐(p∧q)与┐(p∨q) ┐(p∧q)的主析取范式 ┐(p∨q)的主析取范式 是否等值 (填“是”或“否”)/ananas/latex/p/149/ananas/latex/p/149/ananas/latex/p/149/ananas/latex/p/149/ananas/latex/p/149/ananas/latex/p/149/ananas/latex/p/149/ananas/latex/p/149
- 下列公式中，是关于p,q,r的主析取范式的公式是 。 A: （p∧¬q∧r）∨(¬p∧¬r） B: p∧¬q∧¬ C: p∨¬q∨¬ D: （p∧¬q∧r）∨（p∧¬q∧r）