任意一个逻辑函数的所有最小项加起来恒等于1。