证明重言蕴含式的一个疑问在用主析取范式法证明重言蕴含式的时候,为什么是根据它缺不缺极小项,判断是否为重言式的?

旅行家天堂 1年前 已收到1个回答 举报

59768996 花朵

共回答了23个问题采纳率:95.7% 举报

主析取范式法是由极小项的析取构成的,每种真值指派使仅使某一个极小项为真,从而使整个公式为真,有多少真值指派就有多少极小项,N个变元有2^N个极小项,如果缺了某个极小项,它对应的真值指派就不能使其它小项为真,从而整个公式不能为真,故重言式是所有极小项(2^N个)析取,缺一不可,否则必不是重言式.

1年前

10
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 1.455 s. - webmaster@yulucn.com