Poretsky's law of forms


In Boolean algebra, Poretsky's law of forms shows that the single Boolean equation is equivalent to if and only if, where represents exclusive or.
The law of forms was discovered by Platon Poretsky.