Poretsky's_law_of_forms
Poretsky's law of forms
Theorem in Boolean algebra
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.