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

提问时间:2021-03-27

答案
主析取范式法是由极小项的析取构成的,每种真值指派使仅使某一个极小项为真,从而使整个公式为真,有多少真值指派就有多少极小项,N个变元有2^N个极小项,如果缺了某个极小项,它对应的真值指派就不能使其它小项为真,从而整个公式不能为真,故重言式是所有极小项(2^N个)析取,缺一不可,否则必不是重言式.
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
版权所有 CopyRight © 2012-2019 超级试练试题库 All Rights Reserved.