公式G是永真的当且仅当￢G是永假的

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

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

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

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

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

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