标签：同一逻辑函数的任意个最小项相与一定为;任意两个最小项相或时，不一定可以化简