Академический Документы
Профессиональный Документы
Культура Документы
La relacin que existe entre la lgica booleana y los sistemas de cmputo es fuerte, de
hecho se da una relacin uno a uno entre las funciones booleanas y los circuitos
electrnicos de compuertas digitales. Para cada funcin booleana es posible disear
un circuito electrnico y viceversa, como las funciones booleanas solo requieren de los
operadores AND, OR y NOT podemos construir nuestros circuitos utilizando
exclusivamente stos operadores utilizando las compuertas lgicas homnimas
Un hecho interesante es que es posible implementar cualquier circuito electrnico
utilizando una sola compuerta, sta es la compuerta NAND
Para probar que podemos construir cualquier funcin booleana utilizando slo
compuertas NAND, necesitamos demostrar cmo construir un inversor (NOT), una
compuerta AND y una compuerta OR a partir de una compuerta NAND, ya que como
se dijo, es posible implementar cualquier funcin booleana utilizando slo los
operadores booleanos AND, OR y NOT. Para construir un inversor simplemente
conectamos juntas las dos entradas de una compuerta NAND. Una vez que tenemos
un inversor, construir una compuerta AND es fcil, slo invertimos la salida de una
compuerta NAND, despus de todo, NOT ( NOT (A AND B)) es equivalente a A AND
B. Por supuesto, se requieren dos compuertas NAND para construir una sola
compuerta AND, nadie ha dicho que los circuitos implementados slo utilizando
compuertas NAND sean lo ptimo, solo se ha dicho que es posible hacerlo. La otra
compuerta que necesitamos sintetizar es la compuerta lgica OR, sto es sencillo si
utilizamos los teoremas de DeMorgan, que en sntesis se logra en tres pasos, primero
se reemplazan todos los "" por "+" despus se invierte cada literal y por ltimo se
niega la totalidad de la expresin:
A OR B
A AND B.......................Primer paso para aplicar el teorema de DeMorgan
A' AND B'.....................Segundo paso para aplicar el teorema de DeMorgan
(A' AND B')'..................Tercer paso para aplicar el teorema de DeMorgan
(A' AND B')' = A' NAND B'.....Definicin de OR utilizando NAND
PUERTA LGICA
"Y" (AND)
En las escenas de esta pgina se muestran las tres puertas lgicas elementales y que
son la base de cualquier circuito digital. De hecho con esas puertas bastara para poder
disear cualquiera de ellos. En las dos pginas siguientes veremos otras puertas que
permiten simplificar el diseo e implementacin de los circuitos lgicos ms complejos.
Cualquiera de estas puertas existen cmo productos comerciales electrnicos. Los
smbolos usados en las escenas, para representar las puertas, son los estandares
empleados en electrnica digital. As mismo se representa la notacin booleana de la
funcin representada por cada una de las puertas mostradas y su nombre en ingls ya
que es usado en muchos textos.
La primera puerta que vemos es la puerta "Y". Podemos observar que tiene dos entradas
(inputs) y una salida (output). Las variables A y B representan dos variables booleanas
cualesquiera y, modificando sus valores, podemos ver cmo se modifica el valor de
salida. Una puerta "Y" la podemos imaginar como la entrada a un comercio en el que
hay una barrera y una puerta a continuacin. Si una de las dos, o ambas, estn cerradas
(alguna de las variables de entrada es 0), no podemos entrar al establecimiento. Slo
podemos entrar si ambas estn abiertas (las dos variables de entrada, as como la
salida, sern 1).
"O" (OR)
A continuacin se muestra una puerta O. Como se puede observar tambin tiene dos
entradas (inputs), A y B , y una salida (output). Si modificas los valores de las entradas,
tal como hiciste en la escena anterior, vers cmo vara la salida correspondiente. Un
ejemplo fsico sencillo que se asemeja al comportamiento de una puerta O sera el de
una puerta de doble hoja de una casa. Basta abrir una de las dos hojas para poder entrar
o abrir las dos hojas. Hay ejemplos ms complejos pero ste resulta suficientemente
claro).
"NO" (NOT)
En la tercera escena aparece la puerta "NO", ltima de las puertas lgicas bsicas. Lo
primero que llama la atencin es que esta puerta, a diferencia de las anteriores,
solamente tiene una entrada. En mucha de la literatura especializada tambien se le
suele llamar "inversor". Es la puerta ms simple ya que en las anteriores se pueden
aadir ms entradas, mientras que en esta la entrada siempre es nica. A nivel de lgica
proposicional, esta puerta se corresponde con la negacin de una proposicin a
aserto.