wenweiwei
幼苗
共回答了22个问题采纳率:81.8% 举报
由于公式含3个命题变项,并且已知有3个成真赋值001,010,111,因而有5个
成假赋值000,011,100,101,110.
成真赋值对应的极小项分别为m1,m2,m7,故主析取范式为A
m1∨m2∨m7
成假赋值对应的极大项分别为M0,M3,M4,M5,M6,故主合取范式为A
M0∧M3∧M4∧M5∧M6
注意:公式的真值表与主析取范式(主合取范式)可以相互唯一确定.
1年前
追问
12
shapvg
举报
(p→q)↔(非q→非p) <=> (非p∨q)↔(q∨非p) (蕴涵等值式) <=> (非p∨q)↔(非p∨q) (交换律) <=> 1 由最后一步可知,(2)为重言式. 问:最后一步为什么等值于1? 不好意思还得麻烦您一下 这个您会吗