喺邏輯代數上，如果話一條式係成合取範式（粵拼：hap6 ceoi2 faan6 sik1；英文：Conjunctive normal form，CNF）嘅，意思即係話佢係由若干句子句之間嘅邏輯與組成嘅。
