公式P=A/r是指
举一反三
- 与命题公式P®（Q®R）等值的公式是( ) A: (PÚQ)®R B: (PÙQ)®R C: (P®Q)®R D: P®(QÚR)
- 与命题公式P→(Q→R)等值的公式是。 A: (P∨Q)→R B: (P∧Q)→R C: (P→Q)→R D: P→(Q∨R)
- 设P,Q,R是命题公式,则由公式P→R,Q→R,P∨Q,可得到结论()。 A: P B: Q C: R D: ¬R
- 下列公式中，是关于p,q,r的主析取范式的公式是 。 A: （p∧¬q∧r）∨(¬p∧¬r） B: p∧¬q∧¬ C: p∨¬q∨¬ D: （p∧¬q∧r）∨（p∧¬q∧r）
- 命题公式P∨(Q→R)∨￢(P∨R)公式类型为 。