以下逻辑公式中,()是(~p∨~q)Þ(pÛ~q)的主析取范式。
A: (p∧q)∨(p∧~q)∨(~p∧q)
B: p∨q
C: (p∧q)∨(p∧~q)
D: (p∧~q)∨(~p∧q)
A: (p∧q)∨(p∧~q)∨(~p∧q)
B: p∨q
C: (p∧q)∨(p∧~q)
D: (p∧~q)∨(~p∧q)
A
举一反三
- (p∧┐q) ∨(┐p∧q)的主析取范式是() A: (┐p∧┐q)∨(p∧q) B: (┐p∨q)∧(p∨┐q) C: (┐p∨┐q)∧(p∨q) D: 空范式
- ┐(P∨Q) ←→(P∧Q)的主析取范式是: (Q∧P)∨(P∧┐Q)|(Q∧┐P)∨(P∧>Q)|(┐P∧┐Q)∨(P∧Q)|(┐P∨Q)∧(Q∧┐P)
- 【单选题】求公式 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)求主析取范式: (Q∧P)∨(P∧﹁Q)|(Q∧﹁P)∨(P∧﹁Q)|(﹁P∧﹁Q)∨(P∧Q)|(﹁P∨Q)∧(Q∧﹁P)
- 现有命题公式p∨q,则其主析取范式是( )。 A: p∨q B: (¬p∧¬q)∨(¬p∧q)∨(p∧¬q) C: p∧q D: (¬p∧q)∨(p∧¬q)∨(p∧q)
内容
- 0
┐(P∨Q) ←→(P∧Q)的主析取范式是( ) A: (Q∧┐P)∨(P∧>Q) B: (┐P∧Q)∨(P∧┐Q) C: (Q∧P)∨(P∧┐Q) D: (┐P∨Q)∧(Q∧┐P)
- 1
求公式(¬P∨¬Q)→(P↔¬Q)的析取范式 A: P∨Q B: ┐P∨Q C: P∨┐Q D: ┐P∨┐Q
- 2
命题公式¬(p→q)的主析取范式是()。 A: p∧¬q B: ¬p∧¬q C: ¬p∨q D: p∨¬q
- 3
求公式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)
- 4
命题公式p→q的主析取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)