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 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".) [http://www2.fiit.stuba.sk/~kvasnicka/Free%20books/Brown_Boolean%20Reasoning.pdf]
External links "Transhuman Reflections - Poretsky Form to Solve"