Poretsky's law of forms explained
In Boolean algebra, Poretsky's law of forms shows that the single Boolean equation
is equivalent to
if and only if
, where
represents
exclusive or.
The law of forms was discovered by Platon Poretsky.
See also
References
- ru:О способах решения логических равенств и об обратном способе . O sposobach reschenija lopgischeskich rawenstw i ob obrathom spocobe matematischeskoi logiki . ru . On methods of solving logical equalities and the inverse method of mathematical logic. An essay in construction of a complete and accessible theory of deduction on qualitative forms . Platon Sergeevich . Poretsky . Platon Sergeevich Poretsky . Collected Reports of Meetings of Physical and Mathematical Sciences Section of Naturalists' Society of Kazan University . 2 . 1884. (NB. This publication is also referred to as "On methods of solution of logical equalities and on inverse method of mathematical logic".)
- Book: Boolean Reasoning - The Logic of Boolean Equations . Chapter 3: The Blake Canonical Form . Frank Markham . Brown .
d:Q112500339
. reissue of 2nd . . Mineola, New York . 2012 . 2003, 1990 . 978-0-486-42785-0 . 100 . [<!-- 1st edition -->http://www2.fiit.stuba.sk/~kvasnicka/Free%20books/Brown_Boolean%20Reasoning.pdf<!-- https://web.archive.org/web/20170416231752/http://www2.fiit.stuba.sk/~kvasnicka/Free%20books/Brown_Boolean%20Reasoning.pdf -->]
- Book: The Algebra Of Logic . Louis . Couturat . Louis Couturat . 1914 . 53, section 0.43.
- Book: A Survey of Symbolic Logic . Clarence Irving . Lewis . Clarence Irving Lewis . 1918 . 145, section 7.15.
External links
