问题描述：
证明重言蕴含式的一个疑问
在用主析取范式法证明重言蕴含式的时候,为什么是根据它缺不缺极小项,判断是否为重言式的?
在用主析取范式法证明重言蕴含式的时候,为什么是根据它缺不缺极小项,判断是否为重言式的?
问题解答：
我来补答展开全文阅读
问题描述：
问题解答：
我来补答