早教吧作业答案频道 -->数学-->
求主合取范式,再用主合取范式求主析取.(p←→q)→r
题目详情
求主合取范式,再用主合取范式求主析取.
(p←→q)→r
(p←→q)→r
▼优质解答
答案和解析
(p←→q)→r
=[(p Λ q) v (¬p Λ ¬q)]→r
=[(p Λ q)→r] Λ [(¬p Λ ¬q)→r]
=[¬(p Λ q) V r] Λ [¬(¬p Λ ¬q) V r]
=[(¬p V ¬q V r] Λ [(p V q V r]
=M6 Λ M0 这个就是主合取范式
=m1 V m2 V m3 V m4 V m5 V m7 根据范式互补规律,这个就是主析取范式
主析取范式也可以硬性推算,比较麻烦
(p←→q)→r
=¬[(p Λ q) V (¬p Λ ¬q)] V r
=[(¬p V ¬q) Λ (p V q)] V r
=(¬p Λ p) V (¬p Λ q) V (¬q Λ p) V (¬q Λ q) V [r Λ (p V ¬p) Λ (q V ¬q)]
=(¬p Λ q) V (¬q Λ p) V [r Λ {(p Λ q) V (p V ¬q) V (¬p Λ q) V (¬p V ¬q)}]
=[¬p Λ q Λ (r V ¬r)] V [¬q Λ p Λ (r V ¬r)] V (p Λ q Λ r) V (p V ¬q Λ r) V (¬p Λ q Λ r) V (¬p V ¬q Λ r)
=(¬p Λ q Λ r) V (¬p Λ q Λ ¬r) V (p Λ ¬q Λ r) V (p Λ ¬q Λ ¬r) V (p Λ q Λ r) V (p V ¬q Λ r) V (¬p Λ q Λ r) V (¬p V ¬q Λ r)
=(¬p Λ q Λ r) V (¬p Λ q Λ ¬r) V (p Λ ¬q Λ r) V (p Λ ¬q Λ ¬r) V (p Λ q Λ r) V (¬p V ¬q Λ r)
=m3 V m2 V m5 V m4 V m7 V m1
=[(p Λ q) v (¬p Λ ¬q)]→r
=[(p Λ q)→r] Λ [(¬p Λ ¬q)→r]
=[¬(p Λ q) V r] Λ [¬(¬p Λ ¬q) V r]
=[(¬p V ¬q V r] Λ [(p V q V r]
=M6 Λ M0 这个就是主合取范式
=m1 V m2 V m3 V m4 V m5 V m7 根据范式互补规律,这个就是主析取范式
主析取范式也可以硬性推算,比较麻烦
(p←→q)→r
=¬[(p Λ q) V (¬p Λ ¬q)] V r
=[(¬p V ¬q) Λ (p V q)] V r
=(¬p Λ p) V (¬p Λ q) V (¬q Λ p) V (¬q Λ q) V [r Λ (p V ¬p) Λ (q V ¬q)]
=(¬p Λ q) V (¬q Λ p) V [r Λ {(p Λ q) V (p V ¬q) V (¬p Λ q) V (¬p V ¬q)}]
=[¬p Λ q Λ (r V ¬r)] V [¬q Λ p Λ (r V ¬r)] V (p Λ q Λ r) V (p V ¬q Λ r) V (¬p Λ q Λ r) V (¬p V ¬q Λ r)
=(¬p Λ q Λ r) V (¬p Λ q Λ ¬r) V (p Λ ¬q Λ r) V (p Λ ¬q Λ ¬r) V (p Λ q Λ r) V (p V ¬q Λ r) V (¬p Λ q Λ r) V (¬p V ¬q Λ r)
=(¬p Λ q Λ r) V (¬p Λ q Λ ¬r) V (p Λ ¬q Λ r) V (p Λ ¬q Λ ¬r) V (p Λ q Λ r) V (¬p V ¬q Λ r)
=m3 V m2 V m5 V m4 V m7 V m1
看了 求主合取范式,再用主合取范式...的网友还看了以下:
永真式的主析取范式和主合取范式是什么 2020-05-14 …
求主合取范式,再用主合取范式求主析取.(p←→q)→r 2020-05-14 …
一道关于范式的证明证明主析取范式的否定式等价于主合取范式主合取范式的否定式等价于主析取范式 2020-05-14 …
主析取范式的个数的计算公式n个变元可以构成几个主析取范式 2020-05-14 …
离散数学求公式的析取范式,合取范式,主合取范式公式:(¬P∨¬Q)→(P↔¬Q) 2020-06-12 …
离散数学问题P∨(┐P→(Q∨(┐Q→R)))P∨(┐P→(Q∨(┐Q→R)))求主分析取范式及主 2020-06-12 …
下列命题为假的是A.任意两个不同小项的合取式永假,全体小项的析取式永真B.任意两个不同大项的合取式 2020-06-17 …
永真式(重言式)或永假式(矛盾式)有没有主析取范式和主合取范式?若有,该是什么呢?永真式的主合取范 2020-06-17 …
离散数学问题P→(P∧(Q→P))P→(P∧(Q→P))求主分析取范式及主合取范式,并指出是否是重言 2020-10-30 …
离散数学主析主合式的求解过程.希望会的人快点解答急用~~~谢谢啦.求P→[P∧(q→P)]的主析取范 2020-11-07 …