作业帮离散数学求（p→q）↔r 的主析取范式.公式分解
来源：学生作业帮助网 编辑：作业帮 时间：2024/11/24 18:30:45
x){lMtg(x6N5e SK3"Zlބ^4?ӯu
zbb"}j_`gC5<x4erBB&А"MG 5LH\S^C (,,S(rZF(`(U@R
&
uBمx/B6jr?
!(TDHB}_ &>@*@z@("P!B ƃkh~qAb 4ـ96-|k P
离散数学求（p→q）↔r 的主析取范式.公式分解
离散数学求（p→q）↔r 的主析取范式.公式分解
离散数学求（p→q）↔r 的主析取范式.公式分解
原式((┓p v q)→r) ∧(r→((┓pv q)))
((p∧┓q)v r)∧(┓r v (┓p v q) )
((p∧┓q) ∧(┓r v ┓p v q) ) v (r∧(┓r v ┓p v q))
(p∧┓q ∧┓r) v (p∧┓q∧┓p) v (p∧┓q∧q) v (r∧┓r) v (r∧┓p)v (r∧q)
(p∧┓q ∧┓r) v (r∧┓p) v (r∧q)
(p∧┓q ∧┓r) v ((r∧┓p)∧(q v ┓q )) v ((r∧q) ∧(p v ┓p ))
(p∧┓q ∧┓r) v (┓p∧q ∧r) v (┓p∧┓q∧r) v (p∧q∧r) v(┓p∧q∧r)
(p∧┓q ∧┓r) v (┓p∧q ∧r) v (┓p∧┓q∧r) v (p∧q∧r)
没交