命题公式(PvQ)→R的析取范式是 ( ) A.┐(PvQ)vRB.(P＾Q)vRC.(PvQ)vRD.(┐P＾┐Q)vR

命题公式(PvQ)→R的析取范式是 ( ) A.┐(PvQ)vRB.(P＾Q)vRC.(PvQ)vRD.(┐P＾┐Q)vR 求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦 求P→Q∨R的析取范式、主析取范式、主合取范式我求的是：P→Q∨R的析取范式、主析取范式、主合取范式， 求命题公式(P∧Q)∨R的主析取范式和主合取范式 [离散数学]推导如下命题公式是等价的.1.(P^Q)→(~Pv(~PvQ))~PvQ2.(P→Q)^(R→Q)PvR→Q 求命题公式 ((p∨q)→r)→p 的主析取范式 主析取范式主合取范式成真赋值成假赋值（pv(q∧r))→(p∧qVr)求此命题公式的主析取范式,主合取范式,成真赋值,成假赋值.等值演算步骤的那种 求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式 求命题公式(p∨(q∧r))→(p∧q∧r)的主析取范式 急 离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教 合取范式问题定义 一个命题公式称为合取范式仅当具有形式 :A1∧A2.An （n≥1）其中An 都是由命题变元或其否定组成的析取式.例如 (P∨┐Q∨R)∧（┐p∨Q）∧┐Q 是一个合取式.想问下,定义不 利用真值表,求命题公式P∧Q∨R的主范式 把下列公式化成合取范式((P∧Q)∧((P→R)∧(Q→S)))→(S∧R)注意是合取范式,不是主合取范式 求命题公式(P->Q)R主合取范式.急 定理3:任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的.证明 设A¢是A的析取范式,即AÛA¢.若A¢的某个简单合取式Ai中不含命题变元P及其否定ØP, P→Q∧R的合取范式和主析取范式? 离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p->q)^(q->r)求下列公式的主和取范式,再用主和取范式求主析取范式?1、(p^q)->q2、(p->q)->r3、┐(r- 1.设A={a,b,c},则A×A中的元素有几个（ ）2.公式p∧q一定不是（ ）A,合取范式 B,析取范式 C,主合取范式 D主析取范式3.设R是非空集合A上的关系,且R=R○R○R○R ,则（ ）A.R B.R○R C.R○R○R D.R○R○R○R