In
Boolean algebra
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variable (mathematics), variables are the truth values ''true'' and ''false'', usually denot ...
, Poretsky's law of forms shows that the single Boolean equation
is equivalent to
if and only if
, where
represents
exclusive or
Exclusive or, exclusive disjunction, exclusive alternation, logical non-equivalence, or logical inequality is a logical operator whose negation is the logical biconditional. With two inputs, XOR is true if and only if the inputs differ (on ...
.
The law of forms was discovered by
Platon Poretsky.
See also
*
Archie Blake (mathematician)
Charles Archibald Blake (November 24, 1906 - January 7, 1971), name officially changed to Archie Blake was an American mathematician.
He is well known for the Blake canonical form, a normal form for expressions in propositional logic.
In order ...
*
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