对偶定理是一个数学术语，指的是若两逻辑式相等，则它们的对偶式也相等。对偶式指的是对于任何一个逻辑式Y，若将其中的“·”换成“+”，“+”换成“·”，0换成1，1换成0，则得到一个新的逻辑式Y'，Y'就是Y的对偶式。显然Y和Y'互为对偶式。