Poretsky's law of forms (original) (raw)

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.