对偶定理（逻辑代数对偶定理）

是一个数学术语，指的是若两逻辑式相等，则它们的对偶式也相等。

对偶式指的是对于任何一个逻辑式Y，若将其中的“·”换成“+”，“+”换成“·”，0换成1，1换成0，则得到一个新的逻辑式Y'，Y'就是Y的对偶式。显然Y和Y'互为对偶式[1]对偶定理是揭示原始问题的解与对偶问题的解之间重要关系的一系列定理。