Entradas de variablesValores de funciónxyz0000000111010000111110000101001101111111 En álgebra Booleana, el teorema del consenso o la regla de consensoFrank Markham Brown, Boolean Reasoning: The Logic of Boolean Equations, 2nd edition 2003, p. 44 es la identidad:
El consenso o resolvente de los términos y es . Es la conjunción de todos los literales únicos de los términos, excluyendo el literal que aparece innegado en in término y negado en el otro. Si incluye un término que es negado en (o viceversa), el término de consenso es falso; es decir, no hay término de consenso.
El conjunto dual de esta ecuación es:
Prueba
Historia El concepto de consenso fue introducido por Archie Blake en 1937, relacionado con la forma canónica de Blake."Canonical expressions in Boolean algebra", Dissertation, Department of Mathematics, University of Chicago, 1937, reviewed in J. C. C. McKinsey, The Journal of Symbolic Logic 3:2:93 (June 1938) Fue redescubierto por Samson y Mills en 1954 y por Quine en 1955.Edward W. Samson, Burton E. Mills, Air Force Cambridge Research Center, Technical Report 54-21, April 1954Willard van Orman Quine, "The problem of simplifying truth functions", American Mathematical Monthly 59:521-531, 1952 Quine acuñó el término 'consenso'. Robinson lo utilizó en 1965 como base de su "principio de resolución".John Alan Robinson, "A Machine-Oriented Logic Based on the Resolution Principle", Journal of the ACM 12:1: 23–41.Donald Ervin Knuth, The Art of Computer Programming 4A: Combinatorial Algorithms, part 1, p. 539
Referencias
Lectura en profundidad
Roth, Charles H. Jr. Y Kinney, Larry L. (2004, 2010). "Fundamentals De Diseño de Lógica", 6.º Ed., p. 66ss.
Categoría:Teoremas de la lógica proposicional Categoría:Álgebra de Boole