逻辑函数有「最小项之和」和「最大项之积」两种标准形式。首先说明最小项和最大项的概念。

最小项和最大项

最小项

对于 个因子,其最小项 :

  • 是乘积项
  • 包含 个因子
  • 个变量均以原变量和反变量的形式在 中出现一次
  • 总共有 个

性质

  • 在输入变量任一取值下,有且仅有一个最小项的值为 1
  • 全体最小项之和为 1
  • 任何两个最小项之积为 0
  • 最小项具有相邻性
    • 任何两个最小项如果他们只有一个因子不同,其余因子都相同,则称这两个最小项为相邻最小项。
    • 两个相邻的最小项之和可以合并,消去一对因子,只留下公共因子
指向原始笔记的链接

最大项

在 变量逻辑函数中,若 为 个变量之和,而且这 个变量均以原变量或反变量的形式在 中出现一次,则称 为该组变量的最大项。

性质

最大项的主要性质

指向原始笔记的链接

最小项之和形式

最小项之和

首先将给定的逻辑函数式化为若干乘积项之和的形式(亦称“积之和”形式), 然后再利用基本公式 将每个乘积项中缺少的因子补全, 这样就可以将与或的形式化为最小项之和的标准形式。

转换

最小项之和与最大项之积的关系为

最小项之和可以转化为对应项的最大项之积。

笔记来源

指向原始笔记的链接

最大项之积形式

最大项之积

利用逻辑代数的基本公式和原理, 首先我们一定能把任何一个逻辑函数式化成若干项相乘的或与形式(也称“和之积”形式). 然后再利用公式 将每个多项式中缺少的变量补齐, 就可以将函数式的或与形式化成最大项之积的形式了.

笔记来源

指向原始笔记的链接