Poretsky's law of forms

In Boolean algebra, Poretsky's law of forms shows that the single Boolean equation f ( X ) = 0 is equivalent to g ( X ) = h ( X ) if and only if g = f ⊕ h , where ⊕ represents exclusive or.

The law of forms was discovered by Platon Poretsky.