求┐(pV┐q)∧(s→r)合取范式和主合取范式

来源：学生作业帮编辑：百度作业网作业帮分类：数学作业时间：2024/05/23 02:21:01

┐(pV┐q)∧(s→r)
⇔┐p∧q∧(┐sVr) (合取范式）
现对每个合取项构成保证形式,如┐p,要把q,s,r全部添进去.
主合取范式一共有12项
再问：更详细一点啊
再答：比如第1项：┐p要把q，s，r全部添进去，就有八项 ┐p⇔(┐pVq)∧(┐pV┐q)..............,自己不能做吗？
再问：关键就是太烦了。。。可是我现在急着要我水平不够化的太慢；、。。。你还有那个4个项的极大项表怎么弄啊
再答： ┐p⇔(┐pVq)∧(┐pV┐q) ⇔(┐pV┐qV┐rV┐s)∧(┐pV┐qV┐rVs)∧(┐pV┐qVrV┐s)∧(┐pV┐qVrVs) ∧(┐pVqV┐rV┐s)∧(┐pVqV┐rVs)∧(┐pVqVrV┐s)∧(┐pVqVrVs) q⇔(┐pVqV┐rV┐s)∧(┐pVqV┐rVs)∧(┐pVqVrV┐s)∧(┐pVqVrVs) ∧(pVqV┐rV┐s)∧(pVqV┐rVs)∧(pVqVrV┐s)∧(pVqVrVs) (┐sVr) ⇔(┐pV┐qVrV┐s)∧(┐pVqVrV┐s)∧(pV┐qVrV┐s)∧(pVqVrV┐s) 先去掉相同的： ┐(pV┐q)∧(s→r) ⇔┐p∧q∧(┐sVr) ⇔(┐pV┐qV┐rV┐s)∧(┐pV┐qV┐rVs)∧(┐pV┐qVrV┐s)∧(┐pV┐qVrVs) ∧(┐pVqV┐rV┐s)∧(┐pVqV┐rVs)∧(┐pVqVrV┐s)∧(┐pVqVrVs) ∧(pVqV┐rV┐s)∧(pVqV┐rVs)∧(pVqVrV┐s)∧(pVqVrVs) ∧(pV┐qVrV┐s)

求┐(pV┐q)∧(s→r)合取范式和主合取范式 P→Q∧R的合取范式和主析取范式? 求P→Q∨R的析取范式、主析取范式、主合取范式离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式急求离散数学(P→ Q)→ R主合取范式和主析取范式求命题公式(P∧Q)∨R的主析取范式和主合取范式求公式(p→q)∨┐(q∨r)的主析取范式和主合取范式,判断类型,求10.30前答复求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用, 求 P∧（P->Q)的合取范式! ┐（┐R→P）∧P∧Q如何求主合取范式与主析取范式, 为什么┐p∨q可以看成合取范式? P→（（Q→P）∧（┐P∧Q））主析取范式和主合取范式