• 2022-06-17
    求下列命题公式的主析取范式和主合取范式 – p∧(q∨(~p∧r))
  • p∧(q∨(~p∧r))  (p∧q)∨(p∧(~p∧r))  (p∧q)∨F  (p∧q)  (p∧q)∨(r∧~r)  (p∧q∧r)∨(p∧q∧~r)  (6, 7)  (0, 1, 2, 3, 4, 5)

    内容

    • 0

      【填空题】求公式(p∧q) q的主合取范式,再用主合取范式求主析取范式; 主合取范式 ,主析取范式

    • 1

      用等值演算法求下列公式的主析取范式,并利用主析取范式直接给出主合取范式: p→((q∧r)∧(p∨(¬q∧¬r)))

    • 2

      求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 (1)P∨(Q∧¬R)。 (2)P∨(Q∧R)→P∧Q∧R。 (3)¬(P→Q)∧Q∧R。 (4)(P→Q)→R。 (5)(¬P→Q)→(¬Q∧P)。

    • 3

      求命题公式¬(P→Q) ∨(P∧R)主析取范式

    • 4

      命题公式(p∧q)∨(¬p∧r)∨(q∧r)的主析取范式是∑1,3,6,7,那么它的主合取范式就是∏0,2,4,5