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

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

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

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