极小项
在有 个命题变项的简单合取式中, 若每个命题变项和否定式都只出现一次, 按二进制由小到大排列, 称为极小项.
极小项以 成真赋值 二进制表达命名.
指向原始笔记的链接
主析取范式
由 极小项 构成的析取范式.
指向原始笔记的链接
极大项
在有 个命题变项的简单析取式中, 若每个命题变项和否定式都只出现一次, 按二进制由小到大排列, 称为极小项.
极大项以 成假赋值 二进制表达命名.
指向原始笔记的链接
主合取范式
由 极大项 构成的合取范式.
指向原始笔记的链接
定理 任何命题公式都存在与之等值的主析取范式和主合取范式, 并且是唯一的.
根据主合取范式和主析取范式中的一项可求出另一项.