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

参考答案

随机试卷
太原师范学院学前教育学（高起专）
河南科技大学计算机接口技术
四川农业大学中国古代文学史1
郑州工业应用技术学院-大学英语1
河南工业大学-财务会计
漯河职业技术学院教育学(高起专)
护理学基础与导论
国家开放大学移动开发导论 复习题
公务员制度专题（专20秋）
大学英语D252