析取范式（DisjunctiveNormalForm，DNF）和合取范式（ConjunctiveNormalForm，CNF）是命题逻辑中两种重要的标准形式。析取范式由多个合取子句通过析取（OR）连接而成，适合表示“至少一个条件成立”的情况。合取范式则由多个析取子句通过合取（AND）连接而成，适合表示“所有条件都必须满足”的情况。这两种范式在逻辑电路设计、自动定理证明和人工智能等领域有广泛应用。