注意：此页面搜索的是所有试题
题目内容 （河南理工大学-计算机科学与技术-离散数学）
[证明题,7.7分] 证明：命题公式G是恒真的当且仅当在等价于它的合取范式中，每个子句均至少包含一个原子及其否定。

参考答案

随机试卷
山西财经大学公共关系学
会计学原理(高起专)
新疆工程精细化工工艺(高起专)
河北科技师范学院继教学院-毛泽东思想和中国特色社会主义理论体系概论
甘肃中医药大学-中医学-中医诊断学-作业1
平顶山学院-机械电子工程-机械制造装备设计
河南理工大学-电气工程及其自动化-电力系统自动化
赤峰学院- 法理学(专升本)
哈尔滨师范大学-学前教育学（高起本）
河南城建学院-中国近现代史纲要