证明重言蕴含式的一个疑问
证明重言蕴含式的一个疑问
在用主析取范式法证明重言蕴含式的时候,为什么是根据它缺不缺极小项,判断是否为重言式的?
在用主析取范式法证明重言蕴含式的时候,为什么是根据它缺不缺极小项,判断是否为重言式的?
数学人气:499 ℃时间:2020-05-26 08:36:16
优质解答
主析取范式法是由极小项的析取构成的,每种真值指派使仅使某一个极小项为真,从而使整个公式为真,有多少真值指派就有多少极小项,N个变元有2^N个极小项,如果缺了某个极小项,它对应的真值指派就不能使其它小项为真,从而整个公式不能为真,故重言式是所有极小项(2^N个)析取,缺一不可,否则必不是重言式.
我来回答
类似推荐
猜你喜欢
- 1There were ___left at the shop. A. no one B. nothing C. anyone D. none 这题选什么?为什么?
- 2Molly is twelve years old (改为同义句) Molly is a girl ( ) ( )
- 34m 等于几dm
- 4The thief ran away at once when he saw the policeman.(保持意思不变)
- 5孟子以五十步笑百步作喻,说明什么道理拜托各位大神
- 6要好的,
- 7过零丁洋尾联表达了诗人怎样的情感
- 8溶解度,浓度是否有关系
- 9硝酸钡与HCI、H2SO4的化学方程式是什么
- 10汽车的额定功率为30kw,总质量为1吨,运动中所受的阻力恒定为1000n,若汽车在额定功率下运动,求汽车行驶的最大速度是多少?