先补项，然后使用分配率：
(p∧q)∨r
⇔(p∧q∧(¬r∨r))∨((¬p∨p)∧(¬q∨q)∧r) 补项。
⇔((p∧q∧¬r)∨(p∧q∧r))∨((¬p∨p)∧(¬q∨q)∧r) 分配律。
⇔(p∧q∧¬r)∨(p∧q∧r)∨((¬p∨p)∧(¬q∨q)∧r) 结合律。
⇔(p∧q∧¬r)∨(p∧q∧r)∨((¬p∧(¬q∨q)∧r)∨(p∧(¬q∨q)∧r)) 分配律。
⇔(p∧q∧¬r)∨(p∧q∧r)∨(¬p∧(¬q∨q)∧r)∨(p∧(¬q∨q)∧r) 结合律。
⇔(p∧q∧¬r)∨(p∧q∧r)∨((¬p∧¬q∧r)∨(¬p∧q∧r))∨(p∧(¬q∨q)∧r) 分配律。
⇔(p∧q∧¬r)∨(p∧q∧r)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧(¬q∨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∧r)∨(¬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∧r) 等幂律。
得到主析取范式。
扩展资料：
析取范式与合取范式
定义2.2 命题变项及其否定统称作文字。 仅由有限个文字构成的析取式称为简单析取式。
仅由有限个文字构成的合取式称为简单合取式。
例如，文字：p,┐q,r,q.
简单析取式: p,q,p∨q,p∨┐p∨r,┐p∨q∨┐r.
简单合取式: p,┐r,┐p∧r,┐p∧q∧r,p∧q∧┐r.
定理2.1：
（1）一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定。
（2）一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定。
定义2.3：
（1）由有限个简单合取式构成的析取式称为析取范式。
（2）由有限个简单析取式构成的合取式称为合取范式。
（3）析取范式与合取范式统称为范式。
例如，析取范式：（p┐∧q）∨r, ┐p∨q∨r, p∨┐q∨r.
合取范式:(p∨q∨r)∧(┐q∨r), ┐p∧q∧r, p∧┐q∧r.
定理2.2：
（1）一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式。
参考资料来源：百度百科-主析取范式
(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)∨(┐p∧┐q∧┐r)∨(┐p∧q∧┐r)∨(┐p∧┐q∧┐r)∨(p∧q∧r)
<==> (┐p∧┐q∧┐r)∨(┐p∧┐q∧r)∨(┐p∧q∧┐r)∨(p∧q∧r)
<==> m0∨m1∨m2∨m7 (主析取范式)
<==> M3∧M4∧M5∧M6 (主合取范式)
由此可得成真赋值为000, 001, 010, 111，成假赋值为011, 100, 101, 110。
离散数学 (p ∨(q ∧r ))→(p ∧q ∧r)的主析取范式
<==> (┐p∧┐q∧┐r)∨(┐p∧┐q∧r)∨(┐p∧q∧┐r)∨(p∧q∧r)<==> m0∨m1∨m2∨m7 (主析取范式)<==> M3∧M4∧M5∧M6 (主合取范式)由此可得成真赋值为000, 001, 010, 111，成假赋值为011, 100, 101, 110。
离散数学 (p ∨(q ∧r ))→(p ∧q ∧r)的主析取范式
先补项，然后使用分配率：(p∧q)∨r ⇔(p∧q∧(¬r∨r))∨((¬p∨p)∧(¬q∨q)∧r) 补项。⇔((p∧q∧¬r)∨(p∧q∧r))∨((¬p∨p)∧(¬q∨q)∧r) 分配律。⇔(p∧q∧¬r)∨(p∧q∧r)∨((¬p∨p)∧...
离散数学 求主析取范式
⇔ (¬(p∨q∨r))∨(p∨q∨r) 德摩根定律 ⇔1 永真式，等价于下列主析取范式：(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∧┐R))的主析取范式和主合取范式._百 ...
⇔(¬P∨Q)∧(¬P∨R)∧(P∨¬Q)∧(P∨¬R) 结合律 ⇔(¬P∨Q∨(¬R∧R))∧(¬P∨(¬Q∧Q)∨R)∧(P∨¬Q∨(¬R∧R))∧(P∨(¬Q∧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∨?r))∨(p∨q∨r) 德摩根定律 ? (?p∧?q)∨(?p∧?r)∨(p∨q∨r) 分配律 ? (?p∧?q∧(?r∨r))∨(?p∧(?q∨q)∧?r)∨(p...
离散数学:求p→(q∧┐r)的主合取范式、主析取范式、成真赋值成假赋值以...
成假赋值只有一种情况，是p真q∧┐r 假时，q∧┐r 假有三种情况，q,r都真或都假，或q假r真，所以命题公式的成假赋值是111,101,100，对应的十进制数是7,5,4，所以主合取范式是M4∧M5∧M7。成真赋值是000,001,010,011,110，主析取范式是m0∨m1∨m2∨m3∨m6。命题公式是可满足式。
离散数学问题
主合取范式:若干个极大项的合取。主析取范式:若干个极小项的析取。例, 求公式(p∧q)∨r的主析取范式及主合取范式。主析取范式:(p∧q)∨r <==>(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐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∧(r∨┐r))∨((p∨┐p)∧(q∨┐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∧┐r)∨(p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)∑(m1,m3,m5,m6,m7)主合取范式...
离散数学 用等值演算求(P→Q)→R的主析取范式 (要解答过程)
=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨(P∧Q∧R)∨(P∧┐Q ∧R)∨ (┐P∧Q ∧R)∨(┐P∧┐Q∧R)(上式整理后)=>m1∨m3∨m4∨m5∨m7 (上式整理后)方法二:原式=>┐(┐P∨Q)∨R =>(P∧┐Q)∨R =>(P∨R)∧(┐Q∨R)=>((P∨R) ∨ (Q∧┐Q))∧((P∧┐P)∨(┐Q∨...
