逻辑函数的最小项表达式

在n变量逻辑函数中，若m为包含n个因子的乘积项，而且n个变量均以原变量或反变量的形式在m中出现一次，则称m为该组变量的最小项。
性质：
① 在输入变量的任何一取值下必有一个最小项，而且仅有一个最小项的值为1。
② 任意两个最小项的乘积为0。
③ 全体最小项之和为1。
④ 具有相邻性的两个最小项之和可以合并为一项并消去一个因子。
⑤ n个变量的最小项数目为2n。