未知题型
正确答案：正确
若G是永真公式，则G一定是可满足公式，反之亦然。
未知题型若G是永真公式，则G一定是可满足公式，反之亦然。
一般地，命题公式的合取范式唯一。
未知题型一般地，命题公式的合取范式唯一。
任何一个公式都有一个真值表
未知题型任何一个公式都有一个真值表
