2.2 Álgebra boolena y su definición axiomática
Imprime este documento

En 1854, George Boole introdujo un tratamiento sistemático de la lógica y desarro­lló para este propósito un sistema algebraico que ahora se conoce como álgebra booleana. En 1938, C.E. Shannon introdujo un álgebra booleana de dos valores, denominada álgebra de interruptores, en la cual demostró que las propiedades de los circuitos eléctricos y estables con interruptores pueden representarse con esta álgebra. Para la definición formal del álgebra booleana se emplean los postulados formulados por E. V. Huntington en 1904. Estos postulados o axiomas no son únicos para definir el álgebra booleana. Se han usado otros conjuntos de postulados. Revisemos de qué se trata esto.

Anterior
Siguiente