命题公式(P∨Q)∧(P→R)∧(Q→R)的极大项有
A: P∨Q∨R
B: P∨Q∨¬R
C: P∨¬Q∨R
D: P∨¬Q∨¬R
E: ¬P∨Q∨R
F: ¬P∨Q∨¬R
G: ¬P∨¬Q∨R
A: P∨Q∨R
B: P∨Q∨¬R
C: P∨¬Q∨R
D: P∨¬Q∨¬R
E: ¬P∨Q∨R
F: ¬P∨Q∨¬R
G: ¬P∨¬Q∨R
A,B,C,E,G
举一反三
- 命题公式(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)
- 公式（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)
- 求公式(P→(Q∧R))∧(¬P→(¬Q∧¬R))的主析取范式 A: (P∧Q∧R)∨(¬P∧¬Q∧R) B: (P∧Q∧R)∨(¬P∧¬Q∧¬R) C: (P∧Q∧¬R)∨(¬P∧¬Q∧¬R) D: (P∧Q∧R)∨(¬P∧Q∧¬R)
- 与命题公式（P∨Q）∧（P∨R）等价的析取范式有（） A: P∨（Q∧R） B: （P∧P）∨（Q∧R） C: P∨（Q∧￢Q）∨（Q∧R） D: P∨（P∧R）∨（Q∧R）
- 求┐P∨(Q∧R) →(P∨Q) ∧┐R的对偶式 A: (P∧(┐Q∧┐R)) ∧((P∧Q)∨┐R) B: (P∨(┐Q∧┐R)) ∧((P∧Q)∨┐R) C: (P∧(┐Q∧┐R)) →((P∧Q)∨┐R) D: (P∨(┐Q∨┐R)) ∧((P∧Q)∨┐R)
内容
- 0
命题公式（P∨Q）→R的析取范式是() A: Ø（P∨Q）∨R B: （P∧Q）∨R C: （P∨Q）∨R D: （ØP∧ØQ）∨R
- 1
下列命题公式中为重言式的是 Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r)) Ⅱ．(p→(q∨r))→((p→q)∧(p→r)) Ⅲ．((p→q)∧(P→r))→((p→r) Ⅳ．((p∨q)∧(p→r))→(p→r) A: Ⅲ B: Ⅰ和Ⅲ C: Ⅰ和Ⅱ D: Ⅰ、Ⅱ、Ⅲ和Ⅳ
- 2
与命题公式P®（Q®R）等值的公式是( ) A: (PÚQ)®R B: (PÙQ)®R C: (P®Q)®R D: P®(QÚR)
- 3
与命题公式P→(Q→R)等值的公式是。 A: (P∨Q)→R B: (P∧Q)→R C: (P→Q)→R D: P→(Q∨R)
- 4
下列命题公式中( )为重言式 Ⅰ．(p→(p∨q))∨r Ⅱ．(p→(q∨r))→((p→q)∧(p→r)) Ⅲ．(p→q)∧(p→r)→(p→r) Ⅳ．┐(p→q)∧q∧r A: Ⅲ B: Ⅰ和Ⅲ C: Ⅰ和Ⅱ D: Ⅰ、Ⅱ、Ⅲ和Ⅳ