求公式:(﹁P∧Q )∨ ( P∧﹁Q) 的合取范式( )。 (请自己在练习册上进行详细演算,然后根据演算结果选择)
A: (﹁P∧Q )∨ ( P∧﹁Q)
B: (P∨Q )∧( ﹁P∨﹁Q)
C: (﹁P∨Q )∧( P∨﹁Q)
D: (P∨Q )∧(﹁P∨Q)
A: (﹁P∧Q )∨ ( P∧﹁Q)
B: (P∨Q )∧( ﹁P∨﹁Q)
C: (﹁P∨Q )∧( P∨﹁Q)
D: (P∨Q )∧(﹁P∨Q)
B
举一反三
- 求公式Q∨(P→Q)主析取范式( )。 (请自己在练习册上进行详细演算,然后根据演算结果选择) A: (P∧﹁Q)∨(﹁P∧Q)∨(P∧Q) B: (﹁P∧﹁Q)∨(P∧﹁Q)∨(P∧Q) C: (﹁P∨﹁Q)∧(P∨﹁Q)∧(P∨Q) D: (﹁P∧﹁Q)∨(﹁P∧Q)∨(P∧Q)
- 求公式 (﹁P∨﹁Q)→(P ⟷ ﹁Q) 的析取范式( )。 (请自己在练习册上进行详细演算,然后根据演算结果选择) A: (P∨Q)∨(﹁P∨﹁Q) B: (P∧﹁Q)∨(﹁P∧Q) C: (P∧Q)∨(﹁P∧﹁Q) D: (P∧Q)∨(P∧﹁Q)∨(﹁P∧Q)∨(﹁P∧﹁Q)
- 求(P→Q)→R的主合取范式。 (请自己在练习册上进行详细演算,然后根据演算结果选择) A: ( P∨R∨Q)∧(P∨R∨﹁Q)∧(﹁P∨R∨﹁Q) B: ( ﹁P∨﹁R∨﹁Q)∧(P∨R∨﹁Q)∧(﹁P∨R∨﹁Q) C: ( P∨R∨Q)∧(﹁P∨﹁R∨﹁Q) D: ( P∨R∨Q)∧(﹁P∨R∨﹁Q)
- 求公式 [P→(Q∧R)]∧[﹁P→(﹁Q∧﹁R] 的析取范式( )。 (请自己在练习册上进行详细演算,然后根据演算结果选择) A: (﹁P∨Q)∧(﹁P∨R)∧(P∨﹁Q)∧(P∨﹁R) B: (P∧Q∧R)∨(﹁P∧﹁Q∧﹁R) C: T (永真式) D: (P∧﹁Q∧﹁R)∨(P∧﹁Q∧﹁R)
- 命题公式p∨q的合取范式是()。 A: p∧q B: (p∧q)∨(p∨q) C: p∨q D: ¬(¬p∧¬q)
内容
- 0
【单选题】求公式 Q ∨ (P → Q) 主析取范式。 A. (P∧﹁Q)∨(﹁P∧Q)∨(P∧Q) B. (﹁P∧﹁Q)∨(P∧﹁Q)∨(P∧Q) C. (﹁P∨﹁Q)∧(P∨﹁Q)∧(P∨Q) D. (﹁P∧﹁Q)∨(﹁P∧Q)∨(P∧Q) 答
- 1
下面公式()不是合取范式,其中p,q为简单命题。 A: p∧q B: p∨q C: (p∧q)∨(¬p∧q) D: (p∨q)∧(¬p∨q)
- 2
公式(p∨q)→r的主合取范式是( ) A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)
- 3
﹁(P∨Q)↔(P∧Q)求主析取范式: (Q∧P)∨(P∧﹁Q)|(Q∧﹁P)∨(P∧﹁Q)|(﹁P∧﹁Q)∨(P∧Q)|(﹁P∨Q)∧(Q∧﹁P)
- 4
命题公式p→q的主合取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)