A、任意两个最小项mi和mj（i≠j），其逻辑与为1。

B、n个变量的全部最小项之逻辑或为0。

C、某一个最小项不是包含在函数F中，就是包含在函数

D、具有相邻性的两个最小项之和可以合并成一项，并消去一对因子。