一个逻辑函数有n个最小项，则它的反函数肯定也有n个最大项。