若两逻辑式相等，则它们的对偶式也相等，这就是对偶定理。 所谓对偶式是这样定义的：对于任何一个逻辑式 , 若将其中的“”换成“”,“”换成“”, 0 换成 1，1 换成 0，则得到一个新的逻辑式 , 这个 就称为 的对偶式，或者说 和 互为对偶式。 为了证明两个逻辑式相等，也可以通过证明它们的对偶式相等来完成，因为有些情况下证明它们的对偶式相等更加容易。