析取范式与合取范式

在布尔逻辑中，析取范式(DNF)是逻辑公式的标准化(或规范化)，它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个合取的析取。同合取范式(CNF)一样，在 DNF 中的命题... 详情>>baike.so.com

2021年9月13日 - 2.2析取范式与合取范式.docx.《析取范式与合取范式》 在数理逻辑和离散数学中,析取范式与合取范式是命题逻辑中用于规范化表示命题公式的两种方式,它们...