制造假肢的主要材料包括（）

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

未知题型公式G是永真的当且仅当￢G是永假的

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

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

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

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