注意：此页面搜索的是所有试题
[证明题,7.7分] 证明：命题公式G是恒真的当且仅当在等价于它的合取范式中，每个子句均至少包含一个原子及其否定。
参考答案
