A . A.任意两个最小项mi和mj（i≠j），其逻辑与为1。
B . B.n个变量的全部最小项之逻辑或为0。
C . C.某一个最小项不是包含在函数F中，就是包含在函数
D . D.具有相邻性的两个最小项之和可以合并成一项，并消去一对因子。