If a theorem is true, its dual will also be true.

The dual is obtained by changing + by ·, · by +, 0 by 1 and 1 by 0. In the previous table, every theorem has its dual (right to left, and vice versa). The true duality principle states that you have to negate variables, but it is not necessary in its basic application.