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.

See also

• Archie Blake (mathematician)
• Blake–Poretsky law

References

• (NB. This publication is also referred to as "On methods of solution of logical equalities and on inverse method of mathematical logic".)
• [1]

External links

• "Transhuman Reflections - Poretsky Form to Solve"