一个逻辑函数的全部最小项之积恒等于1。