UNIVERSIDAD NACIONAL DE

INGENIERA
FACULTAD DE INGENIERA MECNICA

FUNCIONES BOOLEANAS Y COMPUERTAS
AND, OR Y NOT
Curso : Algebra lineal
Profesora : Luque
Seccin : A
Autor : LEON NUEZ RONNY
MANUEL GUSTAVO GAMARRA AGUILAR














Rmac, 17 de enero del 2014

















Dedicado a mis padres por el apoyo
incondicional que me brindan.






















Gracias a los maestros por sus enseanzas,
y a nuestros padres por sus consejos.





FUNCIONES BOOLEANAS Y COMPUERTAS
AND, OR Y NOT

NDICE

CPTULO I: TEREMAS Y PROPIEDADES DEL ALGEBRA DE BOOLE
CPTULO II: FUNCIONES BOOLEANAS
2.1. Representacin de funciones lgicas.
2.2. Formas cannica y normalizada
CPTULO III: SIMPLIFICACION DE FUNCIONES BOOLEANAS
3.1. Mtodo del mapa de Karnaugh
3.1.1. De dos variables
3.1.2. De tres variables
3.1.3. De cuatro variables
CPTULO IV: COMPUERTAS LOGICAS
CPTULO V: PROBLEMAS RESUELTOS
5.1. Ejercicios resueltos I
5.2. Ejercicios resueltos II
BIBLIOGRAFA















CPTULO I: TEREMAS Y PROPIEDADES DEL ALGEBRA DE BOOLE
TEOREMA 1: El elemento complemento

es nico.
TEOREMA 2: Para cada elemento de B se verifica:
A+1 = 1 A0 = 0
TEOREMA 3: cada elemento identidad es el complemento del otro.

=1

=0
TEOREMA 4 (Idempotencia): para cada elemento de B, se verifica:
A+A=A
AA=A
TEOREMA 5 (Involucin): para cada elemento de B, se verifica:

= A
TEOREMA 6 (Absorcin): para cada par de elementos de B, se verifica:
A+AB=A
A(A+B)=A
TEOREMA 7: para cada par de elementos de B, se verifica:
A +

B = A + B
A (

+ B) = A B
TEOREMA 8 (Asociatividad): cada uno de los operadores binarios (+) y
() cumple la propiedad asociativa:
A+ (B+C) = (A+B)+C
A (BC) = (AB) C
LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:

CPTULO II: FUNCIONES BOOLEANAS
En matemticas, una funcin booleana es una funcin cuyo dominio son
las palabras conformadas por los valores binarios 0 1 ("falso" o
"verdadero", respectivamente), y cuyo dominio son ambos valores 0 y 1.
Formalmente, son las funciones de la forma : B
n
B, donde B = {0,1} y n
un entero no negativo correspondiente a la aridad de la funcin.
Una funcin booleana es un conjunto de variables relacionadas entre s
mediante los operadores lgicos.
Una funcin booleana es tambin una variable booleana.

2.1. Representacin de funciones lgicas.
2.1.1. Forma algebraica general:

Es la combinacin de variables relacionadas por las operaciones lgicas.
Esta forma de representacin tiene el inconveniente de que no es nica,
pudiendo haber infinitas representaciones para una misma
funcin.

2.1.1. Mediante la tabla de verdad:
Son tablas en las cuales figuran todas las combinaciones posibles de las
variables de entrada y el valor correspondiente de la funcin para cada una
de ellas. Este tipo de representacin elimina el inconveniente de la forma
anterior ya que toda funcin tiene una nica tabla de verdad.
Una tabla de verdad, consta de tantas columnas de entrada como variables
tenga la funcin y una nica columna de salida.
Para obtener la tabla de verdad por el mtodo de columnas auxiliares para
obtener la funcin de salida, es muy aconsejable simplificar al mximo la
funcin dada

A B C D F
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0
0 1 0 1 0
0 1 1 0 1
0 1 1 1 1
1 0 0 0 0
1 0 0 1 1
1 0 1 0 0
1 0 1 1 0
1 1 0 0 0
1 1 0 1 0
1 1 1 0 0
1 1 1 1 0
2.2. Formas cannica y normalizada
X Y Z Termino Designacin Termino Designacin
0 0 0

m0 M0
0 0 1

m1

M1
0 1 0

m2

M2
0 1 1

m3

M3
1 0 0

m4

M4
1 0 1

m5

M5
1 1 0

m6

M6
1 1 1 m7

M7

X Y Z F1 F2
0 0 0 0 0
0 0 1 1 0
0 1 0 0 1
0 1 1 0 0
1 0 0 0 1
1 0 1 1 0
1 1 0 0 1
1 1 1 1 0
CPTULO III: SIMPLIFICACION DE FUNCIONES BOOLEANAS

3.1. Mtodo del mapa de Karnaugh
Un mapa de Karnaugh (tambin conocido como tabla de Karnaugh o
diagrama de Veitch, abreviado como Mapa-K o Mapa-KV) es un
diagrama utilizado para la simplificacin de funciones algebraicas
Booleanas.
Este mtodo consiste en formar diagramas de 2
n
cuadros, siendo n el
nmero de variables. Cada cuadro representa una de las diferentes
combinaciones posibles y se disponen de tal forma que se puede pasar
de un cuadro a otro en las direcciones horizontal o vertical, cambiando
nicamente una variable, ya sea en forma negada o directa.
Este mtodo se emplea fundamentalmente para simplificar funciones
de hasta cuatro variables. Para un nmero superior utilizan otros
mtodos como el numrico. A continuacin pueden observarse los
diagramas, tambin llamados mapas de Karnaugh, para dos, tres y
cuatro variables.
Es una prctica comn numerar cada celda con el nmero decimal
correspondiente al trmino cannico que albergue, para facilitar el
trabajo a la hora de plasmar una funcin cannica.
Para simplificar una funcin lgica por el mtodo de Karnaugh se
seguirn los siguientes pasos:
1) Se dibuja el diagrama correspondiente al nmero de variables de la
funcin a simplificar.
2) Se coloca un 1 en los cuadros correspondientes a los trminos
cannicos que forman parte de la funcin.
3) Se agrupan mediante lazos los unos de casillas adyacentes
siguiendo estrictamente las siguientes reglas:
a) Dos casillas son adyacentes cuando se diferencian nicamente en
el estado de una sola variable.
b) Cada lazo debe contener el mayor nmero de unos posible,
siempre que dicho nmero sea potencia de dos (1, 2, 4, etc.)
c) Los lazos pueden quedar superpuestos y no importa que haya
cuadrculas que pertenezcan a dos o ms lazos diferentes.
d) Se debe tratar de conseguir el menor nmero de lazos con el
mayor nmero de unos posible.
4) La funcin simplificada tendr tantos trminos como lazos posea el
diagrama. Cada trmino se obtiene eliminando la o las variables que
cambien de estado en el mismo lazo.
3.1.1. De dos variables
En el hay cuatro trminos mnimos para dos variables es decir que el
mapa consiste en cuatro cuadrados uno para cada termino.

X Y 0 1
0

1
0





00 01
10 11
m0 m1
m2 m3
3.1.2. De tres variables

Hay ocho trminos mnimos para las tres variables. El mapa consiste
en ocho cuadrados.

X Y 00 01 11 10

0

1


3.1.3. De cuatro variables

Consta de 16 trminos y los cuadrados asignados a cada uno .


AB CD 00 01 11 10
00
01
11
10









m0 m1 m3 m2
m4 m5 m7 m6
000 001 011 010
100 101 111 110
0000 m0 0001 m1 0011 m3 0010 m2
0100 m4 0101 m5 0111 m7 0110 m6
1100 m12 1101 m13 1111 m15 1110 m14
1000 m8 1001 m9 1011 m11 1010 m10
CPTULO IV: COMPUERTAS LOGICAS
AND

X F
Y
OR

X F
Y
NAND

X F
Y
NOR

X F
Y
XOR

X F
Y
NOR-exclusiva

X F
Y
CPTULO V: PROBLEMAS RESULETOS
5.1. Ejercicios resueltos I
1) Simplifique la expresin por medio de un mapa de karnaugh de cuatro
variables.
a) F(A,B,C) =
AB CD 00 01 11 10
00
01
11
10

L2 L1
L2

L3
L3

Lazo 1
A= 0o1 B= 0o1 C=0 D= 0o1

Lazo 2
A=0 B= 0o1 C= 0o1 D=0

Lazo 3
A= 0o1 B= 1 C= 0o1 D=0

0000 m0 0001 m1 0011 m3 0010 m2
0100 m4 0101 m5 0111 m7 0110 m6
1100 m12 1101 m13 1111 m15 1110 m14
1000 m8 1001 m9 1011 m11 1010 m10
1 1 1
1 1 1
1 1 1
1 1
b) F(A,B,C) =

F(A,B,C) =

F(A,B,C) =

F(A,B,C) =

AB CD 00 01 11 10
00
01
11
10
L1 L2 L1

L3




L1 L2 L1
Lazo 1
A= 0o1 B= 0 C=0 D= 0o1

Lazo 2
A=0o1 B= 0 C= 0o1 D=0

Lazo 3
A= 0 B= 0o1 C= 1 D=0

0000 m0 0001 m1 0011 m3 0010 m2
0100 m4 0101 m5 0111 m7 0110 m6
1100 m12 1101 m13 1111 m15 1110 m14
1000 m8 1001 m9 1011 m11 1010 m10
1 1 1
1

1 1 1
2) Simplificar la siguiente funcin booleana en suma de productos por
medio de un mapa de karnaugh de 4 variables.
Dibuje el circuito lgico con:
a) Compuertas OR-AR
b) Compuertas NAND

F(A,B,C) =

AB CD 00 01 11 10
00
01
11
10
L1

L2




L3 L4
Lazo 1
A= 0 B= 0o1 C=1 D= 0o1

Lazo 2
A=0o1 B= 1 C= 1 D=0o1

Lazo 3
A= 0 B= 1 C= 0o1 D=0o1

0000 m0 0001 m1 0011 m3 0010 m2
0100 m4 0101 m5 0111 m7 0110 m6
1100 m12 1101 m13 1111 m15 1110 m14
1000 m8 1001 m9 1011 m11 1010 m10
1 1
1 1 1 1
1 1
1
Lazo 4
A= 0o1 B= 0o1 C= 1 D=1

Compuerta OR-AND
A
B
A
C F
B
C
C
D
Compuerta NAND

A
B
A
C F
B
C
C
D
3) Determine la expresin mnima para el siguiente mapa de karnaugh


e implemente su circuito lgico


AB CD 00 01 11 10
00
01
11
10

L2
L1

L3


Lazo 1
A= 0o1 B= 1 C=0o1 D= 1

Lazo 2
A=0o1 B= 0o1 C= 0 D=1

Lazo 3
A= 1 B= 1 C= 0o1 D=0o1

1 0 1 1
1 0 0 1
0 0 0 0
1 0 1 1
0000 m0 0001 m1 0011 m3 0010 m2
0100 m4 0101 m5 0111 m7 0110 m6
1100 m12 1101 m13 1111 m15 1110 m14
1000 m8 1001 m9 1011 m11 1010 m10
1 0 1 1
1 0 0 1
0 0 0 0
1 0 1 1

Circuito lgico

A
D
B
D F
B
C

4) Simplifique la siguiente funcin booleana aplicando el mapa de karnaugh
y disee el circuito lgico correspondiente con compuertas NAND.

AB CD 00 01 11 10
00
01
11
10



L1
L3
L2
L3


Lazo 1
A= 0 B= 0 C=0o1 D= 0o1

Lazo 2
A=0o1 B= 0o1 C= 0 D=0

Lazo 3
A= 0o1 B= 0 C= 0 D=0o1

0000 m0 0001 m1 0011 m3 0010 m2
0100 m4 0101 m5 0111 m7 0110 m6
1100 m12 1101 m13 1111 m15 1110 m14
1000 m8 1001 m9 1011 m11 1010 m10
1 1 1 1
1 0 0 0
1 0 0 0
1 1 0 0

A
B F
C
D
B
C

5) Simplificar la siguiente funcin booleana:

Utilizando el mapa de karnaugh. Implementar el circuito lgico
correspondiente utilizando compuertas NAND.

AB CD 00 01 11 10
00
01
11
10



L1
L2

L2


Lazo 1
A= 0 B= 0 C=0 D= 0o1

Lazo 2
A=0 B=1 C= 0o1 D=0

0000 m0 0001 m1 0011 m3 0010 m2
0100 m4 0101 m5 0111 m7 0110 m6
1100 m12 1101 m13 1111 m15 1110 m14
1000 m8 1001 m9 1011 m11 1010 m10
0 0 1 1
0 1 1 0
1 1 1 1
1 1 1 1

Compuerta NAND

A
B
D F
B
C
C
D





















5.2. Ejercicios resueltos II

Solucin:
=>
Mapa de 4 variables
Lazo 2


lazo 1 lazo
1

Lazo 3


lazo 1 lazo
1


Lazo 2
Lazo 1 => a= (0,1) b=0 c= (0,1) d=0 = BD
1 1 1
1
1 1 1
Lazo 2 => a= (0,1) b=0 c=0 d= (0,1) = BC
Lazo 3 => a=0 b= (0,1) c=0 d=1 = ACD


=>BD+ BC+ ACD
= (A+A) BD+ (A+A) BC+AC (B+B) D
= ABD+ABD+ABC+ABC+ABCD+ABCD+ABCD
=
ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABC
D+
ABCD+ABCD+ABCD
= E m (0, 1, 2, 5, 8, 9,10)

a) AB+ABC+ABC= (AB)+A C
AB+AC (B+B)+ABC= (AB)+A C
AB+AC+ABC = (AB)+A C
AB+A (C+BC)= (AB)+A C
AB+A (C+B)= (AB)+A C
AB+AC+AB = (AB)+A C
(AB)+A C= (AB)+A C
b) F=ABCD+ABCD+ABCD+ABCD
F=AB (CD+CD)+AB (CD+CD)
F= (AB+AB) (CD+CD)
F= (AB) (CD)




a) AB+CD+ACD
=AB+D (C+AC)
=AB+D (C+A)
=AB+CD+AD
= ((AB+CD+AD))
= (((A+B) +(C+D) + (A+D) ) )
b) ABCD+ABCD+ABCD+ABCD
=AB (CD+CD) +AB (CD+CD)
= (AB+AB) (CD+CD) Complemento dos veces
= ((A+B) + (A+B) +(C+D) + (C+D))















a) F=ABE+BCDE+BCDE+ABDE+BCDE
F=DE (AB+BC) +BE (CD+CD) +ABE
F=DEB (A+C) +BE+ABE
F= DEBA+DEBC+BE (1+A)
F=ABDE+BCDE+BE = (A+C) BDE+BE
F=BE+BDE
b) F=ABCD+ABCD+ABCD+ABCD
F=CD (AB+AB) +CD (AB+AB)
F= (AB+AB) (CD+CD)
F= ((AB+AB)+ (CD+CD))










a) = (A (B+C) + (CD) )
= (A (B+C) ) .CD
= (A+ (B+C)).CD
= ACD+BCD+CD
= CD (A+B+1)
= CD
b) F=ACD+BCD+CD
F=ACD (B+B)+BCD(A+A)+CD(A+A)(B+B)
F=ABCD+ABCD+ABCD+ABCD+(ACD+ACD)(B+B)
F=ABCD+ABCD+ABCD+ABCD

F=CD

1
1
1






BIBLIOGRAFA

- Matemtica discreta /J. C. Ferrando, Valentn Gregori
- lgebra Booleana. Aplicaciones tecnolgicas /Carlos Barco Gmez
- Problemas de matemtica discreta /Carmen Alegre
- Diseo de sistemas digitales: introduccin prctica/ Joan Oliver, Carles
Ferreri Ramis