逻辑函数的最小项表达式

在n变量逻辑函数中，若m为包含n个因子的乘积项，而且n个变量均以原变量或反变量的形式在m中出现一次，则称m为该组变量的最小项。

性质：
① 在输入变量的任何一取值下必有一个最小项，而且仅有一个最小项的值为1。

② 任意两个最小项的乘积为0。

③ 全体最小项之和为1。

④ 具有相邻性的两个最小项之和可以合并为一项并消去一个因子。

⑤ n个变量的最小项数目为2n。