题库网
  • 首页
  • 所有科目
  • 关于本站
  • 账号设置 退出登录
    注册 登录
注意:此页面搜索的是所有试题
题目内容 (河南理工大学-计算机科学与技术-离散数学)
[证明题,7.7分] 证明:命题公式G是恒真的当且仅当在等价于它的合取范式中,每个子句均至少包含一个原子及其否定。

参考答案


随机试卷
平顶山学院-医学检验技术-物理化学
长沙医学院-急危重症护理学(高起专)
平顶山学院-计算机网络技术-计算机维护与维修
西南石油大学土木工程CAD(PKPM软件)
信阳师范学院数据库系统原理(
华北水利水电大学单片机原理与应用
漯河职业技术学院大学英语1(高起专)
新乡医学院-临床生理学
国家开放大学美学原理
黑龙江省教育学院-电子线路及实验(专升本)
赣ICP备2023009414号-1