CNF即“Conjunctive Normal Form”的縮寫,意為“合取范式”或“合取正則式”,是指命題公式的一種標準形式,其中所有子句都是合取范式(CNF)。
在CNF中,一個命題公式表示為若干個由邏輯AND連接的子句(disjunct)。每一個子句都是由若干個邏輯OR連接起來的元素組成。在計算機中,CNF被廣泛應用于邏輯推理、自動化定理證明以及衛(wèi)星數(shù)據(jù)傳輸?shù)阮I域。這個標準的正則形式可以方便計算機進行聯(lián)結的計算,提高了計算機進行邏輯推理的效率。