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.

References

• Frank Markham Brown, Boolean Reasoning: The Logic of Boolean Equations, 2nd edition, 2003, p. 100