Anda di halaman 1dari 4

UNIMET

ARQUITECTURA DEL COMPUTADOR


Prof. Sandro Costantini

FUNCIONES DE VERDAD

GUIA 3: FUNCIONES DE VERDAD


La potencia de los sistemas digitales est en la capacidad de sus componentes para tomar decisiones
lgicas. Para esto debemos poder representar las proposiciones lgicas formuladas en lenguaje
ordinario, con proposiciones simblicas. Esto es asignarle un smbolo a la proposicin.
En lgica las proposiciones son verdaderas o falsas, y para expresar su valor de verdad utilizaremos el
smbolo "F" o "0 "para falso y "V" o "1" para verdadero.
Tambin representaremos las proposiciones en s con ayuda de smbolos. Por ejemplo para simbolizar la
proposicin " la puerta est abierta" podramos utilizar la letra P.
Si realmente la puerta est abierta podemos entonces decir que P =1. (o P=V)
Para cada proposicin positiva existe una proposicin negativa as podemos decir "la puerta NO est
abierta" que representaremos como P=0. (o P=F). Para simbolizar est proposicin podemos hablar de P
negada que representaremos como P .
Las proposiciones solas no tienen mucho sentido si no se relacionan con otras para tomar decisiones. As
podemos reunir varias proposiciones lgicas para obtener una proposicin compuesta. El valor de verdad
de la proposicin compuesta (verdadero o falso; 1 o 0) depender del valor de verdad de cada
proposicin componente y de la relacin entre estas. La relacin entre las proposiciones lgicas
componentes viene dada por el operador lgico.
Los operadores lgicos primarios son el AND, el OR y el NOT

OPERADORES LOGICOS
Operador lgico AND ( conjuncin lgica): Una proposicin compuesta que utiliza este operador para
relacionar sus proposiciones componente ser verdad SI y SOLO SI las proposiciones componentes son
verdaderas. Se simboliza con "" y al igual que en el lgebra convencional puede suprimirse. ( AB , A B).
Ejemplo:
"Jos ir a la playa si el carro est listo Y el da es soleado"
Operador lgico OR (disyuncin lgica): Una proposicin compuesta que utiliza este operador ser
verdad si cualquiera de las proposiciones componentes es verdadera. Se simboliza con el signo "+".
(A+B).
Ejemplo:
"La alarma sonar si se abre la puerta O se golpea el carro"
Operador lgico NOT (negacin): Este operador se refiere a una sola proposicin, negando su valor de
verdad. Se representa con una barra sobre el smbolo que representa la proposicin. ( P .)
Los operadores lgicos NOT, AND y OR se conocen como operadores lgicos bsicos, puesto que
cualquier funcin puede expresarse como una combinacin de ellos.

GUIA 3

2007 Sandro Costantini

ARQUITECTURA DEL COMPUTADOR

UNIMET

Prof. Sandro Costantini

FUNCIONES DE VERDAD

TABLAS DE VERDAD
Para evaluar el valor de verdad de una proposicin compuesta es muy til usar una tabla de verdad. Esta
es sencillamente una tabla que muestra el valor de la funcin de salida (proposicin compuesta) para
cada combinacin de las variables de entrada (proposiciones componentes)
En el siguiente circuito lgico de dos entradas la tabla muestra todas las combinaciones de los posibles
niveles lgicos presentes en las entradas A y B y del correspondiente nivel de salida X
ENTRADAS
A

A
0
0
1
1

SALIDA
X

B
0
1
0
1

X
0
1
1
0

A continuacin mostraremos las tablas de verdad para los operadores lgicos bsicos explicados
anteriormente:
AND

OR

AB

A+B

0
0
1
1

0
1
0
1

0
0
0
1

0
0
1
1

0
1
0
1

0
1
1
1

NOT

0
1

1
0

REALIZACIN FSICA DE LOS OPERADORES LOGICOS


Ahora es importante relacionar los operadores lgicos con los circuitos electrnicos, y para esto tenemos
las compuertas lgicas, que son el equivalente electrnico de los operadores lgicos. La compuerta
lgica es un dispositivo electrnico que cuenta con un terminal de salida y varios terminales de entrada.
El potencial de voltaje con respecto a tierra de cualquier terminal de entrada o salida, puede asumir solo
uno de dos valores especficos. Uno de los voltajes representar el verdadero y el otro voltaje el falso.
Las compuertas lgicas correspondiente a los operadores lgicos bsicos descritos anteriormente se
representan de la siguiente forma:

COMPUERTA AND
La compuerta AND es un
dispositivo de dos o mas
entradas y una salida que cumple
con la condicin que la salida
toma el valor lgico 1 si, y solo si
todas las entradas valen 1.

COMPUERTA OR
La compuerta OR es un
dispositivo de dos o mas
entradas y una salida que cumple
con la condicin que la salida
toma el valor lgico 1 si, y solo si
una o mas entradas valen 1.

GUIA 3

TABLA DE VERDAD

AB

0
0
1
1

0
1
0
1

0
0
0
1

A
B

AB

TABLA DE VERDAD

A+B

0
0
1
1

0
1
0
1

0
1
1
1

2007 Sandro Costantini

A
B

A+B

UNIMET

ARQUITECTURA DEL COMPUTADOR


Prof. Sandro Costantini

COMPUERTA NOT
La compuerta NOT es un
dispositivo de una entradas y una
salida que cumple con la
condicin que la salida toma el
valor lgico negado de la
entrada.

FUNCIONES DE VERDAD

TABLA DE VERDAD

0
1

1
0

Las tres compuertas bsicas enumeradas anteriormente pueden combinarse para realizar funciones
lgicas mas complejas. A continuacin se muestran otras tres funciones importantes que se pueden
realizar con compuertas, indicando su smbolo, su funcin y su tabla de verdad.

COMPUERTA NAND

TABLA DE VERDAD
La compuerta NAND es un
A B
dispositivo de dos o mas A B
A
0
0
1
AB
entradas y una salida que
B
0
1
1
equivale a una compuerta AND
1
0
1
seguida de negador (NOT AND =
1
1
0
NAND). Cumple con la condicin
que la salida toma el valor lgico
0 si, y solo si todas las entradas valen 1. Si no la salida toma el valor 1. Se representa como una
compuerta NAND seguida de un circulo que denota la negacin.

COMPUERTA NOR

TABLA DE VERDAD
La compuerta NOR es un
A B
A +B
dispositivo de dos o mas
A
0
0
1
A+B
entradas y una salida equivalente
B
0
1
0
a una compuerta OR seguida de
1
0
0
un negador (NOT OR = NOR).
1
1
0
Cumple con la condicin que la
salida toma el valor lgico 1 si, y solo si todas las entradas valen 0. Para las otras combinaciones la
salida es 0.Se representa como una compuerta OR seguida de un circulo que denota la negacin

COMPUERTA EXOR

TABLA DE VERDAD

La
compuerta
EXOR
(or
exclusivo) es un dispositivo de
dos entradas y una salida que
cumple con la condicin que la
salida toma el valor lgico 1 si, y
solo si las entradas son
diferentes.

A B

0
0
1
1

0
1
0
1

0
1
1
0

GUIA 3

2007 Sandro Costantini

A
B

AB

UNIMET

ARQUITECTURA DEL COMPUTADOR


Prof. Sandro Costantini

FUNCIONES DE VERDAD

UNIVERSALIDAD DE LAS COMPUERTAD NAND Y NOR


Esta compuertas se dicen que son "universales" puesto que con cada una de las dos familias podemos
realizar todas las funciones lgicas.
En la tabla a continuacin se muestran los operadores lgicos en funcin de solo compuertas NOR y solo
compuertas NAND. compuertas NAND.

NAND
A

NOR
A

X = AA = A

NOT

X= A+A = A

A
A
B

AND

A B

X = A B
B

X = A + B = A B

A
X

OR
B

A
B

A +B
X = A +B

X = A B = A + B

NOTA: La conversin posiblemente se entienda mejor cuando estudiemos el manejo de funciones con Algebra de Boole

RESUELVE EL QUIZ 2 DE LAS GUIAS EN LINEA

GUIA 3

2007 Sandro Costantini