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
Louis Couturat, The Algebra Of Logic, 1914, p. 53, section 0.43
Clarence Irving Lewis, A Survey of Symbolic Logic, 1918, p. 145, section 7.15

External links

"Transhuman Reflections - Poretsky Form to Solve"

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.