In Boolean algebra, Poretsky's law of forms shows that the single Boolean equation
) = 0
is equivalent to
represents exclusive or.
The law of forms was discovered by Platon Poretsky.