Álgebra de Boole Y puertas lógicas
Ágebra de Boole Desarrollada por George Boole (1815-1864) para tratar de forma algebraica las expresiones de la lógica de predicados. En lógica, cada predicado puede tener dos valores: cierto o falso. Y existen varios conectores entre ellos: Predicado A Y predicado B; A O B; A implica B; no A; etc. El álgebra de Boole se define como un conjunto de dos elementos (para representar los dos valores posibles de un predicado) con dos operaciones, suma y producto, que modelizan respectivamente a la disyunción (O) y la conjunción (Y)
El álgebra de Boole y la Informática No nos vamos a fijar en el formalismo del álgebra de Boole, sino que vamos a pasar directamente a la manera en que se utiliza en informática. Los dos elementos del álgebra de Boole serán para nosotros el paso de corriente (que representaremos por 1 para simplificar) y la ausencia de corriente (que representaremos por 0).
Puertas lógicas Las puertas lógicas son dispositivos biestables (pueden tener dos estados) que bien a base de relés (en los ordenadores electromeánicos), de válvulas de vacío (en los primeros ordenadores electrónicos) o de transistores alcanzan uno u otro de sus estados en función de sus entradas, correspondiendo a las operaciones del álgebra de Boole.
Puertas lógicas con transistores Los transistores están formados por elementos fabricados por algún semiconductor (generalmente silicio) que deja pasar la corriente si alcanza cierto umbral de carga: Si no recibe suficiente corriente, la almacena y se comporta como un aislante, no dejando pasar ni siquiera esa poca que recibe. Si recibe suficiente corriente, la transmite comportán-dose como un conductor.
Puerta O Emite corriente sólo si la recibe por una de sus entradas O por la otra (por alguna). Corresponde a la suma en el álgebra de Boole.
Puerta Y Emite corriente sólo si la recibe por una de sus entradas Y por la otra (por ambas). Corresponde al producto en el álgebra de Boole.
Puerta NO Emite corriente sólo si NO la recibe por su única entrada (y por tanto, no emite corriente si sí que la recibe).