在n變量邏輯函數(shù)中,若m為包含n個(gè)因子的乘積項(xiàng),而且n個(gè)變量均以原變量或反變量的形式在m中出現(xiàn)一次,則稱m為該組變量的最小項(xiàng)。
性質(zhì):
① 在輸入變量的任何一取值下必有一個(gè)最小項(xiàng),而且僅有一個(gè)最小項(xiàng)的值為1。
② 任意兩個(gè)最小項(xiàng)的乘積為0。
③ 全體最小項(xiàng)之和為1。
④ 具有相鄰性的兩個(gè)最小項(xiàng)之和可以合并為一項(xiàng)并消去一個(gè)因子。
⑤ n個(gè)變量的最小項(xiàng)數(shù)目為2n。