UNIVERSIDAD NACIONAL DEL CENTRO DEL PERU

En 1854 George Boole introdujo una notacin simblica

para el tratamiento de variables cuyo valor podra ser
verdadero o falso (variables binarias) As el lgebra de
Boole nos permite manipular relaciones proposicionales
y cantidades binarias. Aplicada a las tcnicas digitales
se utiliza para la descripcin y diseo de circuitos mas
econmicos. Las expresiones booleanas sern una
representacin de la funcin que realiza un circuito
digital. En estas expresiones booleanas se utilizarn las
tres operaciones bsicas (AND, OR NOT) para construir
expresiones matemticas en las cuales estos
operadores manejan variables booleanas (lo que quiere
decir variables binarias).
Los smbolos elementales son:
0: representativo de FALSO
1: representativo de VERDADERO
Las operaciones fundamentales son:
Conjuncin u operacin AND (se representa con )
Disyuncin u operacin OR (se representa con + )
Complementacin, Negacin u operacin NOT ( se
representa con una barra sobre la variable )
Las variables son las proposiciones, que se representan
o simbolizan por letras
Los postulados para las tres operaciones bsicas, AND,
OR Y NOT, son suficientes para deducir cualquier
relacin booleana.
Complemento Adicin Multiplicacin
0 = 1 0 + 0 = 0 0 . 0 = 0
1 = 0 0 + 1 = 1 0 . 1 = 0
1 + 0 = 1 1 . 0 = 0
1 + 1 = 1 1 . 1 = 1
Ley del producto lgico
Ley del producto lgico
Ley del producto lgico
Ley del producto lgico
Ley de la suma lgica
Ley de la suma lgica
Ley de la suma lgica
Ley de la suma lgica
Ley de la tautologa
Ley de la tautologa
Ley de la tautologa
Ley de la tautologa
Ley del complemento
Ley del complemento
Ley del complemento
Ley del complemento
Ley de doble negacin
a) 1*1=

1
Evaluar las siguiente Operacin
b) 0*0 =
0
Evaluar las siguiente Operacin
c) 1*0*0 =

0
Evaluar las siguiente Operacin
c) 1*A*0 =
0
Evaluar las siguiente Operacin
Evaluar las siguiente operacin
a) 1+1=
1
a) 1+0 =
1
Evaluar las siguiente operacin
a)0+0+0 =
0
Evaluar las siguiente operacin
AND y NAND
1
A
AND y NAND
A
AND y NAND
1
AND y NAND
OR y NOR
A
OR y NOR
0
OR y NOR
A
OR y NOR
0
Resuelva las siguientes proposiciones
1.- A 0 =
2.- A 1 =
3.- A A =
4.- A A =
5.- A 0 =
6.- A 1 =
7.- A A =
8.- A A =
Resuelva las siguientes proposiciones
1.- A 0 =
2.- A 1 =
3.- A A =
4.- A A =
Conmutativa
AND
Conmutativa
OR
A+B = B+A
Conmutativa
XOR
A B = B A
Conmutativa
Asociativa


AND A(B C) = (A B) C = A B C
Asociativa


(A B) C = A B C
Asociativa
OR A+(B+C) = (A+B)+C = A+B+C
XOR A(BC) = (AB)C = ABC
AND A(B C) = (A B) C = A B C
Asociativa


OR A+B+C+D
Asociativa


OR (A+B)+C+D = (A+B)+(C+D)
OR A+B+C+D
Asociativa
NAND [A(B C)] [(A B) C] (A B C)
NOR [A+(B+C)] [(A+B)+C] (A+B+C)
XNOR [A(BC)] [(A B)C] (ABC)
Asociativa


Distributiva


Distributiva


A + AC + AB + BC
Distributiva
AA + AC + AB + BC
A + AC + AB + BC
A (1+C+B)+ BC
A*1+ BC
A+ BC = A+ BC
Distributiva


Por medio de este teorema se obtiene el
Equivalente de una funcin Booleana
... . C . B . A ... C B A
... C B A ... . C . B . A
0
1
0
0
X Y Z W X + Y + Z + W
Ejercicios
Obtenga el circuito equivalente aplicando el
teorema de DMorgan y compare el resultado
usando la tabla de verdad
F
(A,B,C,D)
= A B + C D + A BC
F
(A,B,C,D)
= ( A + B) + (C + D) + (A +B +C)
F
(A,B,C,D)
= A B + C D + A BC
F
(A,B,C,D)
= [ ( A + B) + (C + D) + (A +B +C) ]
F
(A,B,C,D)
= [( A + B) (C + D) (A +B +C)]
F
(A,B,C,D)
= A B + C D + A BC
F
(A,B,C,D)
= [( A + B) (C + D) (A +B +C)]
F
(A,B,C,D)
= A B + C D + A BC
F
(A,B,C,D)
= [( A + B) (C + D) (A +B +C)]
F
(A,B,C,D)
= A B + C D + A BC
m
A B C D
0
0 0 0 0 1
1
0 0 0 1 1
2
0 0 1 0 1
3
0 0 1 1 1
4
0 1 0 0
5
0 1 0 1
6
0 1 1 0
7
0 1 1 1
8
1 0 0 0
9
1 0 0 1
10
1 0 1 0
11
1 0 1 1
12
1 1 0 0
13
1 1 0 1
14
1 1 1 0
15
1 1 1 1
F
(A,B,C,D)
= A B+CD+A BC
m
A B C D
0
0 0 0 0 1
1
0 0 0 1 1
2
0 0 1 0 1
3
0 0 1 1 1
4
0 1 0 0
5
0 1 0 1
6
0 1 1 0 1
7
0 1 1 1
8
1 0 0 0
9
1 0 0 1
10
1 0 1 0 1
11
1 0 1 1
12
1 1 0 0
13
1 1 0 1
14
1 1 1 0 1
15
1 1 1 1
F
(A,B,C,D)
= A B+CD+A BC
m
A B C D
0
0 0 0 0 1
1
0 0 0 1 1
2
0 0 1 0 1
3
0 0 1 1 1
4
0 1 0 0
5
0 1 0 1
6
0 1 1 0 1
7
0 1 1 1
8
1 0 0 0 1
9
1 0 0 1 1
10
1 0 1 0 1
11
1 0 1 1
12
1 1 0 0
13
1 1 0 1
14
1 1 1 0 1
15
1 1 1 1
F
(A,B,C,D)
= A B+CD+A BC
m
A B C D
0
0 0 0 0 1
1
0 0 0 1 1
2
0 0 1 0 1
3
0 0 1 1 1
4
0 1 0 0 0
5
0 1 0 1 0
6
0 1 1 0 1
7
0 1 1 1 0
8
1 0 0 0 1
9
1 0 0 1 1
10
1 0 1 0 1
11
1 0 1 1 0
12
1 1 0 0 0
13
1 1 0 1 0
14
1 1 1 0 1
15
1 1 1 1 0
F
(A,B,C,D)
= A B+CD+A BC
m
A B C D
0
0 0 0 0 1
1
0 0 0 1 1
2
0 0 1 0 1
3
0 0 1 1 1
4
0 1 0 0 0
5
0 1 0 1 0
6
0 1 1 0 1
7
0 1 1 1 0
8
1 0 0 0 1
9
1 0 0 1 1
10
1 0 1 0 1
11
1 0 1 1 0
12
1 1 0 0 0
13
1 1 0 1 0
14
1 1 1 0 1
15
1 1 1 1 0
F
(A,B,C,D)
= A B+CD+A BC
Teorema de DMorgan
Obtenga el circuito equivalente y la ecuacin
aplicando el teorema de DMorgan y compare el
resultado usando la tabla de verdad
F
(A,B,C)
= ( A + B + C) ( A + B + C)