[证明题,7.7分] 证明：命题公式G是恒真的当且仅当在等价于它的合取范式中，每个子句均至少包含一个原子及其否定。
出自：河南理工大学-计算机科学与技术-离散数学

提示：
每天可免费获取10次答案

收藏本站【zk.995w.com】，下次访问不迷路

本站试题总数:【10253414】个 (题库试题定时更新)

完成拼图验证

按住下方滑块，将拼图拖到缺口处后松开。

拼图背景，将小拼图拖到缺口处
向右拖动滑块

松手后自动验证