首先,我们需要将条件语句转化为析取和合取的组合形式:

( p v q ) → ( q → p ) = ¬( p v q ) v ( q → p ) = ¬p ∧ ¬q v ( ¬q v p )

接下来,我们使用德摩根定律将否定运算符移到括号内,并使用分配律将合取和析取分开:

¬p ∧ ¬q v ( ¬q v p ) = ( ¬p ∧ ¬q ) v ( ¬p ∧ p ) v ( ¬q ∧ ¬q ) v ( ¬q ∧ p ) = ( ¬p ∧ ¬q ) v F v ¬q v ( ¬q ∧ p ) = ( ¬p ∧ ¬q ) v ¬q v ( ¬q ∧ p ) = ( ¬p ∧ ¬q ) v ¬q = ¬q

因此,主析取范式为 ¬q。

写出下面公式的主析取范式的过程 p v q → q → p

原文地址: https://www.cveoy.top/t/topic/hnbY 著作权归作者所有。请勿转载和采集!

免费AI点我,无需注册和登录