由最大项的定义和逻辑代数的公理不难证明:性质1对于任意一个最大项,在变量的各种取值组合中,只有一组取值能使其为0。例如,A=0、B=1、C=0时,只能使M5为0。性质2任意两个最大项Mi和Mj(i≠j)之和必为1。性质3n个变量的所有2n个最大项之积必为0。借助普通代数的求积符号,此即:下面讨论用最大项来表达逻辑函数。可以证明,任何逻辑函数,总可以选择若干个不同的最大项相乘而得到。当逻辑函数所描述的逻辑功能一定时,这种选择是唯一的。例如,函数的最大项表达式为上式中的最后一行,括号内的十进制数表示参与求积运算的各个最大项Mi的下标值。