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".)
*
https://web.archive.org/web/20170416231752/http://www2.fiit.stuba.sk/~kvasnicka/Free%20books/Brown_Boolean%20Reasoning.pdf -->
*
* {{cite book , title=A Survey of Symbolic Logic , author-first=Clarence Irving , author-last=Lewis , author-link=Clarence Irving Lewis , date=1918 , page=145, section 7.15

External links

Boolean algebra