公式(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的主析取范式为___________。 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∧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∧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∧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)→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: Ⅰ、Ⅱ、Ⅲ和Ⅳ
下列命题公式中为重言式的是 Ⅰ.((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: Ⅰ、Ⅱ、Ⅲ和Ⅳ
计算(¬P → Q)←→ R主析取范式规范正确的是 ——————— 。 A: (P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R) B: (P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R) C: ( P ∧ Q ∧ R)∨ (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) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R) B: (P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R) C: ( P ∧ Q ∧ R)∨ (P ∧ ¬Q ∧ R)∨ (¬P ∧ Q ∧ R) ∨ (¬P ∧ ¬Q ∧ ¬R) D: (¬P ∧ ¬Q ∧ ¬R) ∨ (¬P ∧ Q ∧ R) ∨ (P ∧ ¬Q ∧ R) ∨ ( P ∧ Q ∧ R)
命题公式(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
命题公式(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
计算(P→Q)∧(¬P→R)的主析取范式规范正确的是 ——————— 。 A: (¬P ∧ R) ∨ (P ∧ Q) ∨ (Q ∧ R) B: (P ∧ Q ∧ R) ∨ (P ∧ Q ∧ ¬R) ∨ (¬P ∧ Q ∧ R) ∨ (¬P ∧ ¬Q ∧ R) C: (¬P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ ¬R) ∨ (P ∧ Q ∧ ¬R) ∨ (P ∧ Q ∧ R) D: (¬P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ (P ∧ Q ∧ ¬R) ∨ (P ∧ Q ∧ R)
计算(P→Q)∧(¬P→R)的主析取范式规范正确的是 ——————— 。 A: (¬P ∧ R) ∨ (P ∧ Q) ∨ (Q ∧ R) B: (P ∧ Q ∧ R) ∨ (P ∧ Q ∧ ¬R) ∨ (¬P ∧ Q ∧ R) ∨ (¬P ∧ ¬Q ∧ R) C: (¬P ∧ ¬Q ∧ R) ∨ (¬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: q→(p∨r) B: (p∧q)→r C: (p→r)∨(q→r) D: p→(q∨r)
公式¬p→(q→r)与()等值。 A: q→(p∨r) B: (p∧q)→r C: (p→r)∨(q→r) D: p→(q∨r)
优级纯、分析纯、化学纯试剂的代号依次是() A: R\R\R B: R\R\P C: P\R\R D: R\P\R
优级纯、分析纯、化学纯试剂的代号依次是() A: R\R\R B: R\R\P C: P\R\R D: R\P\R