合取范式（conjunction normal form），命題公式的一種標準形。
介紹
設A是一個命題公式，A中出現的命題變元為，以表示或，。稱是 的一個合取項，若干個互不相同的合取項的析取稱為一個合取范式，與命題公式A邏輯等價的合取范式稱為A的合取范式。例如命題公式的合取范式是
。一個命題公式的合取范式可以通過真值表得到，也可以通過等價變換得到。命題公式還有另一種范式，析取范式。析取范式的定義與合取范式對偶，只要把合取與析取對換就可以由合取項得到析取項，由合取范式得到析取范式。
參考資料 >