n个逻辑变量的逻辑函数y有m个最小项，则它的对偶函数肯定也有n个最小项。