Professional Documents
Culture Documents
FUNCIONES DE VERDAD
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
UNIMET
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
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
A
B
A+B
UNIMET
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
A
B
AB
UNIMET
FUNCIONES DE VERDAD
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
GUIA 3