4.3.

2 Representacin de expresiones booleanas con circuitos lgicos

O And. La operacin And requiere que todas las seales sean

simultneamente verdaderas para que la salida sea verdadera. As, el circuito de la figura necesita que ambos interruptores estn cerrados para que la luz encienda.

O Los estados posibles del circuito se pueden modelar en la Tabla

de Verdad que tiene asociada. Sabemos que los interruptores slo pueden tener dos estados, abiertos o cerrados, si el interruptor abierto se representa mediante el cero (0 o falso) y el cerrado mediante el valor uno (1 o verdadero) entonces en la tabla de verdad asociada se puede ver la situacin que se describa en el prrafo anterior, cuando se deca que la luz slo prende cuando ambos interruptores estn cerrados, es decir, si A = 1 y B = 1 entonces L = 1.

O La compuerta lgica es una forma de representar la operacin And

pero en el mbito de los circuitos electrnicos, para ese caso A y B son las seales de entrada (con valores = 0 1) y L es la seal de salida. Para efectos de este curso, la operacin And la representaremos como la funcin And( A, B ), donde A y B seran los parmetros de entrada (los mismos valores de A y B en el circuito) y L = And( A, B ), correspondera a la forma de asignacin de valor a L. En este caso el parmetro de salida es la misma funcin And. Or. La operacin Or tiene similares caractersticas a la operacin And, con la diferencia que basta que una seal sea verdadera para que la seal resultante sea verdadera. En la figura se puede ver tal situacin.

O Note que en el circuito los interruptores estn en paralelo, por lo cual

basta que uno de ellos est cerrado para que el circuito se cierre y encienda la luz. La operacin Or tambin tiene una representacin funcional como Or( A, B ) donde A y B seran los parmetros de entrada (los mismos valores de A y B en el circuito) y L = Or( A, B ), correspondera a la forma de asignacin de valor a L. En este caso, el parmetro de salida es la misma funcin Or. Not: La ltima de la tres operaciones fundamentales, la cual tambin se conoce como negacin, complemento o inversin, es mucho ms simple que las anteriores.

O En la figura se puede observar el circuito, que en este caso

tiene la particularidad de que al estar el interruptor abierto la luz enciende, cuando l est en posicin de cerrado la luz permanecera apagada. La notacin funcional para esta operacin ser Not( A ), donde A corresponde a la seal de entrada y Not( A ) corresponde al valor complementario de A. Con las operaciones bsicas ya definidas es posible redefinir el Algebra de una manera ms formal, por ejemplo, dndole el nombre de Dominio Lgico y caracterizndolo de la siguiente manera:

O Dominio Lgico ( l Dominio Lgico ) = ( { 0, 1 }, { l:

And( l, l ), l:Or( l, l ), l:Not( l ) } ) Note que cada una de las operaciones o funciones de este dominio se ha explicitado claramente la cantidad y el tipo de parmetros con los cuales ellas operan (operandos) y el tipo de valor que la operacin devuelve, en este caso todos los parmetros son del tipo lgico ( l ). As, cuando se habla del dominio del computador al resolver un problema, este dominio tiene como base el dominio recin descrito. Los circuitos electrnicos que dan vida al computador pueden ser representados todos mediante este Dominio Lgico