求p合取范式,非p合取p等于什么

求p合取范式,非p合取p等于什么

根据定义，式┐p→┐(p→q)的主要析取范式为(p∧q)∨(p∧┐q)，而其主要合取范式应为(p∨q)∧(p∨┐q)。 示例：求公式(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∧q)∨(Ør∧r))∧(

)=>(P∨Q∨R)∧(P∨┐Q∨R)∧(P∨┐Q∨R)∧(┐P∨┐Q∨R)=>M0∧M2∧M6(完成上式后得到主联结范式)= >m1∨m3∨m4∨m5∨m7(根据主合取范式和主析取范式的互补性1.求下列公式的主析取范式和主合取范式:1.P→QP→QPQ(主合取范式)(P(QQ))((PP)Q)(PQ)(PQ)(PQ)(PQ)( PQ)(PQ)(PQ)(初级析取范式)

离散数学及其应用瞿万灵的答案候选代码如何查找多值依赖关系代数相关问题离散数学查找主析取范式(non-pimpliesq)连接(qConjunctionr)等价于(pDisjunctionq)连接(qconjunctr)等价于(例2.7求析取范式和连接公式的范式(p→q)↔r。解：(1)合取范式：(p→q)↔ r=(┐p∨q)↔r=((┐p∨q)→r)∧(r→(┐p∨q))=(┐(┐p∨q)∨r)∧(┐r∨( ┐p∨q)

p→q)的主析取范式是(p∧q)∨(p∧┐q)，其主合取范式应该是(p∨q)∧(p∨┐q)主合取范式：几个最大项的合取。主析取范式：几个最小项的合取。例如，求主析取范式公式(p∧q)∨r的范式和主联结范式 主要析取范式：p∧q)∨r(p∧q∧(r∨┐r))∨((p∨)

1主析取范式:┐P∧┐Q)∨(┐P∧Q)∨(P∧┐Q)∨(P∧Q)主结合范式:111100000101000110101111101原公式的主析取范式:┐P∧┐Q∧R)V(┐P∧Q∧R) V(P∧Q∧┐R)V(P∧Q∧R)主要合取范式：┐PVQV┐R)∧(┐PVQ