选择题:[证明题,7.7分] 证明:命题公式G是恒真的当且仅当在等价于它的合取范式中,每个子句均至少包含一个

题目内容:
[证明题,7.7分] 证明:命题公式G是恒真的当且仅当在等价于它的合取范式中,每个子句均至少包含一个原子及其否定。
参考答案: