Poretsky's law of forms

In Boolean algebra, Poretsky's law of forms shows that the single Boolean equation $f(X)=0$ is equivalent to $g(X)=h(X)$ if and only if $g=f\oplus h$ , where $\oplus$ 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

This article is issued from Wikipedia - version of the 9/5/2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.