比如:(A ∨ B ∨ C) ∧ (? A ∨┐ B ∨┐ C) ∧ (A ∨┐ B ∨ C)是合取範式；
(a∧b∧c)∨(∧a∧b∧?c)∨(∧a∧b∧c)是壹個析取範式。
將公式寫成合取範式或析取範式，可以通過等價關系運算得到。
離散數學是研究離散量的結構及其關系的數學學科，是現代數學的壹個重要分支。離散性的含義是指不同的連接元素，主要研究基於離散性的結構以及它們之間的關系，其對象壹般是有限的或可數的元素。離散數學廣泛應用於各個學科，尤其是計算機科學與技術領域。同時，離散數學也是計算機專業很多專業課程的必備前提，如程序設計語言、數據結構、操作系統、編譯技術、人工智能、數據庫、算法設計與分析、理論計算機科學基礎等。通過離散數學的學習，不僅可以掌握處理離散結構的描述工具和方法，還可以為後續課程創造條件，提高抽象思維和嚴密的邏輯推理能力，為今後參與創新研發打下堅實的基礎。