标签：一个逻辑函数的任意两个最小项之积必为