“析取范式”的英语表达是 disjunctive normal form (DNF)。在逻辑学和数学中,析取范式是一种特殊的逻辑公式形式,由若干子句的析取(即“或”运算)组成,而每个子句又是若干文字的合取(即“与”运算)。