可满足式

本条目可能指代几种不同含义，见对应词条：

• 命题公式的一个分类，见可满足式（命题逻辑）。
• 谓词公式的一个分类，见可满足式（谓词逻辑）。