若G是永真公式，则G一定是可满足公式，反之亦然。

一般地，命题公式的合取范式唯一。

未知题型一般地，命题公式的合取范式唯一。

任何一个公式都有一个真值表

未知题型任何一个公式都有一个真值表

任何命题公式都存在与之等值的主析取范式和主合取范式，并且都是唯一的。

未知题型任何命题公式都存在与之等值的主析取范式和主合取范式，并且都是唯一的。