数字电路逻辑函数中任意两个最小项的乘积为零。