永言式的主合取范式

陶庆包1672试求下列命题公式的主析取范式与主合取范式,并且判断该命题公式类...
暴军易18471197637 ______ (p∨(q∧r))→(p∨q∨r) ? ?(p∨(q∧r))∨(p∨q∨r) 变成 合取析取 ? (?p∧?(q∧r))∨(p∨q∨r) 德摩根定律 ? (?p∧(?q∨?r))∨(p∨q∨r) 德摩根定律 ? (?p∧?q)∨(?p∧?r)∨(p∨q∨r) 分配律 ? (?p∧?q∧(?r∨r))∨(?p∧(?q∨q)∧?r)∨(p∨q...

陶庆包1672主析取范式主合取范式求公式┐((PVQ)→R)的主析取范式和主合
暴军易18471197637 ______ 主析取范式是由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1.主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是使对应的指派得到命题公式的真值为0.所以,假设有三个命题変元,极小项和极大项的下标分别是0--7,如果一个命题変元的主析取范式表示为m1或m3或m5,它的主合取范式应该是M0且M2且M4且M6且M7.也就是说下标是极小项下标集合的补集.

陶庆包1672一道关于范式的证明 -
暴军易18471197637 ______ 析取范式 定义2.4.5 设命题公式G中所有不同原子为P1,…,Pn,如果G的某个析取范式G'中的每一个短语,都是关于P1,…,Pn的一个极小项,则称G'为G的主析取范式. 恒假公式的主析取范式用0表示. 定理2.4.2 对于命题公式G,都存在等...

陶庆包1672求公式(Q→P)∧(┓P∧Q)的主析取范式和主合取范式 -
暴军易18471197637 ______[答案] 这个公式是永假式,主析取范式为0

陶庆包1672离散数学中怎样用主析取范式求主合取范式 -
暴军易18471197637 ______[答案] 主析取范式是由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1.主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是...

陶庆包1672P→((Q→P)∧(┐P∧Q))主析取范式和主合取范式 -
暴军易18471197637 ______ 1、P→((Q→P)∧(┐P∧Q)) =┐P V ((Q→P)∧(┐P∧Q)) ==┐P V ((┐Q V P)∧(┐P∧Q)) =┐P V ((┐Q ∧(┐P∧Q)) V (P∧(┐P∧Q))) =┐P =(┐P∧┐Q )V(┐P∧Q )(主析取范式) =(┐P V Q)∧(┐P V┐ Q)(主合取范式) 2、PV(Q∧R)→(P...

陶庆包1672...((┐A∨B)∧A)┝┥T(4)┐A∨(┐B∨C)┝ ┐(┐A∧B)∨(┐A∨C)(5)┐(A∨B)∨C┝ A∨(┐B∨C)6、下列公式的析取范式、合取范式及主析取范式、主合... -
暴军易18471197637 ______[答案] 第12题 数学归纳法 当n=1时显然成立 假设当n=k时,命题成立 当n=k+1时 (1+2+...+k+k+1)^2=(1+...+k)^2+2*(1+...+k)(k+1)+(k+1)^2 =1^3+...+k^3+(k+1)*k*(k+1)+(k+1)^2=1^3+2^3+...+(k+1)^3 得证