Ley de formas de Poretsky

Teorema del álgebra de Boole

En álgebra de Boole , la ley de formas de Poretsky muestra que la ecuación booleana única es equivalente a si y sólo si , donde representa exclusivo o . ${\displaystyle f(X)=0}$ ${\displaystyle g(X)=h(X)}$ ${\displaystyle g=f\oplus h}$ ${\displaystyle \oplus }$

La ley de las formas fue descubierta por Platón Poretsky .

Véase también

• Archie Blake (matemático)
• Ley de Blake-Poretsky

Referencias

• Poretsky, Platon Sergeevich (1884). "O sposobach reschenija lopgischeskich rawenstw i ob obrathom spocobe matematischeskoi logiki"О способах решения логических равенств и об об обратном способе[Sobre los métodos de solución de igualdades lógicas y el método inverso de la lógica matemática. Un ensayo sobre la construcción de una teoría completa y accesible de la deducción sobre formas cualitativas]. Recopilación de informes de reuniones de la Sección de Ciencias Físicas y Matemáticas de la Sociedad de Naturalistas de la Universidad de Kazán (en ruso) (2).(NB. Esta publicación también se conoce como "Sobre métodos de solución de igualdades lógicas y sobre el método inverso de la lógica matemática").
• Brown, Frank Markham [en Wikidata] (2012) [2003, 1990]. "Capítulo 3: La forma canónica de Blake". Razonamiento booleano: la lógica de las ecuaciones booleanas (reedición de la 2.ª ed.). Mineola, Nueva York: Dover Publications, Inc. pág. 100. ISBN 978-0-486-42785-0.[1]
• Couturat, Louis (1914). El álgebra de la lógica . pág. 53, sección 0.43.
• Lewis, Clarence Irving (1918). Un estudio de la lógica simbólica . pág. 145, sección 7.15.

Enlaces externos

• "Reflexiones transhumanas: la forma de Poretsky para resolver"