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

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

人气：205 ℃　时间：2020-04-13 06:03:10

解答

原式((┓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∧...