任何一个逻辑函数都可以化成最小项之和的形式