离散数学求（p→q）↔r 的主析取范式.公式分解

离散数学求（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)

没交