[判断]  n个变量构成的任一个最小项，它总共有另外n个最小项和它是逻辑相邻的。