Poretsky's law of forms

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