>
数学
>
证明重言蕴含式的一个疑问
在用主析取范式法证明重言蕴含式的时候,为什么是根据它缺不缺极小项,判断是否为重言式的?
人气:414 ℃ 时间:2020-05-26 08:36:16
解答
主析取范式法是由极小项的析取构成的,每种真值指派使仅使某一个极小项为真,从而使整个公式为真,有多少真值指派就有多少极小项,N个变元有2^N个极小项,如果缺了某个极小项,它对应的真值指派就不能使其它小项为真,从而整个公式不能为真,故重言式是所有极小项(2^N个)析取,缺一不可,否则必不是重言式.
推荐
判断重言式
关于离散数学蕴含式的问题.
一道离散数学证明题
离散数学证明题
离散数学中,重言式的重怎么读?
1 不等式log½(x²-2x-15)½½>log½(x+13)的解集是_____________
80岁的老人大寿,该说什么祝福语?
旁逸斜出造句
猜你喜欢
There were ___left at the shop. A. no one B. nothing C. anyone D. none 这题选什么?为什么?
Molly is twelve years old (改为同义句) Molly is a girl ( ) ( )
4m 等于几dm
The thief ran away at once when he saw the policeman.(保持意思不变)
孟子以五十步笑百步作喻,说明什么道理拜托各位大神
要好的,
过零丁洋尾联表达了诗人怎样的情感
溶解度,浓度是否有关系
© 2024 79432.Com All Rights Reserved.
电脑版
|
手机版