Documentos de Académico
Documentos de Profesional
Documentos de Cultura
BOOLE
BOOLE
SISTEMAS LOGICOS I
DIGITAL I
Se pretende que todos los problemas sean resueltos mediante una manipulación
algebraica, haciendo uso de las leyes y teoremas del álgebra de Boole.
PROBLEMA NRO. 1:
PROBLEMA NRO. 2:
PROBLEMA NRO. 3:
Determinar las condiciones que deben cumplir las variables booleanas A y B para que se
verifiquen las siguientes ecuaciones:
a) A’+AB=0
b) AB=AC
c) ABD+BCD+A’CD=ABD+A’CD
PROBLEMA NRO. 4:
PROBLEMA NRO. 5:
PROBLEMA NRO. 6:
PROBLEMA NRO. 7:
PROBLEMA NRO. 8:
3
Veamos un sumario de las leyes y teoremas del álgebra de Boole que usaremos en la
resolución de los problemas:
a) f1=A’+B’+ABC’ 4.b
f1=A’+B’+B.AC’ 9.a
f1=A’+B’+AC’ 4.a
f1= A’+AC’ 9.a + B
f1=A’+C’+B’ 4.a
f1=A’+B+C’
4
Aplicando (11.b) podría expresarse: f1=(ABC)’
b) f2=A+A’B+A’B’C+A’B’C’D 7.a
f2= A+A’(B+B’C+B’C’D) 9.a
f2=A+(B+B’C+B’C’D7.a)
f2=A+(B+B’(C+C’D) 9.a
f2=A+(B+B’(C+D) 9.a)
f2=A+(B+(C+D) 5.a)
f2=A+(B+C+D) 5.a
f2=A+B+C+D
c) f3=(A’+ABC)+(A’+ABC’)+(A+A’BC)
f3=A’+A 6.a+ABC+ABC’+A’BC
f3=1+(ABC+ABC’+A’BC)(3.a)
f3=1
d) f4=ABC+A(B.C)’ 11.b+A’BC
f4=AC(B+B’) 6.a+AB’C’4.a+ABC’4.a+A’BC
f4=AC+AC’(B’+B) 6.a+A’BC
f4=AC+AC’.1 2.b+A’BC
f4=AC+AC’ 7.a+A’BC
5
f4=A(C+C’) 6.a+A’BC
f4=A+A’(BC) 9.a
f4=A+BC
f4=A(BC+(BC)’)+A’BC
f4=A+A’BC=A+BC
f4=BC+(BC)’A=BC+A
f5=A+B’
f) f6=A’BC+AB+BC+A’B’C
4.af6=A’BC+A’B’C 7.a+AB+BC
f6=A’C+(B+B’) 6.a+AB+BC
f6=A’C.1 2.b+AB+BC
f6=A’C+AB+BC
4.af6=AB+BC+A’C 10.a
f6=AB+A’C
g) f7=A’D’ 2.b+A’B’+C’D’+BC
f7=A’D’(C+C’) 7.a+C’D’+A’B’+BC
6
f7=A’CD’ 2.b+A’C’D’+C’D’ 7.a+A’B’+BC
f7=A’BCD’+A’B’CD’+C’D’+A’B’+BC
4.af7=A’BCD’4.b+BC+A’B’CD’+A’B’ 8.a+C’D’
f7=BCA’D’+BC 8.a+A’B’+C’D’
f7=BC+A’B’+C’D’
h) f8=AB2.b+B’C 2.b+AC’D
f8=ABC’+ABCD+ABCD’+B’CD’+B’CDA+B’CDA’+AC’D (7.a)
f8=ABC’+ACD+(B+B’) (6.a)+ABCD’+B’CD’+A’B’CD+AC’D
-------------------(2b)
f8=ABC’+ACD+ACB+A’B’CD’+B’CD+B’CD’+AC’D
(7.a)
(7.a)
------------(2.b)
f8=AB+ACD+B’C+AC’D (7.a)
f8=AB+B’C+AD(C+C’) (6.a)
-----------(2.b)
7
f8=AB+B’C+AD
i)f9=3(1,3,6,7)
j) f 10= 4 (0,1,2,3,6,12,14)
f 10= A’B’C’+A’B’C+A’BCD’+ABD’
f 10 = A’B’+BD’(C+A) = A’B’+BCD’+ABD’
8
Observación: notar que la manipulación algebraica no constituye una manera sistemática
de simplificación, y no asegura el logro de la máxima simplificación, es decir, la
obtención de una expresión MÍNIMA EQUIVALENTE
Solución problema Nº 2
a) f1= A’(B’+C’)(A+B+C’)
f ‘1 = A+BC+A’B’C (7.a)
b) f2= A+(C’+B+B’D’)+(C+B’D).
f ‘2= (A+(C’+B+B’D’)+(C+B’D))’
f ‘2 = 0.( ) (3.a). = 0
c) f 3= (A+B’C’).(B+A’C’).(C+A’B’)
f ‘3 = ( (A+B’C’).(B+A’C’).(C+A’B’) )’
f ‘ 3= (A+B’C’)’+(B+A’C’)’+(C+A’B’)’
f ‘ 3= A’.(B’C’)’+B’.(A’C’)’+C’.(A’B’)’
f ‘ 3= A’.(B+C)+B’.(A+C)+C’.(A+B)
f ‘3= A’B+A’C+AB’+B’C+AC’+BC’
9
f ’3=A’BC+A’BC’(7.a) +A’B’C+AB’(7.a) +AC’
f ‘3=A’B +B’C+AB’+AC’
d) f4=A+(C’+B+B’D’).(C+B’D)
f ‘ 4= A’.((C’+B+D’).(C+B’D))’ (11.b)
f ‘4= A’.((C’+B+D’)’+(C+B’D)’)
Solución problema Nº 3
a) Para que sean A’+AB (9 a) = A’+B= 0 deben ser A’=0 o sea A=1 y además B=0
A=1 B=0
b) Para que se verifique AB=AC debe ocurrir que sea A=0 ( ByC cualesquiera) o
bien que sea B=C ( A cualquiera)
AB+BC+A’C=AB+A’C
Solución problema Nº 4
a) f1= A(B’+C’)+C
10
dada una expresión algebraica, aplicando la propiedad DISTRIBUTIVA (( 7 a) y (7 b))
primeramente se le lleva a suma de productos o a producto de sumas según cual sea la
forma canónica buscada.
f1= A(B’+C’)+C=AB’+AC’+C
f1 = AB’.(C+C’)+AC’.(B+B’)+C.(A+A’).(B+B’)
f1 = AB’C+AB’C’+ABC’+AB’C’+.(AC+A’C).(B+B’)
f1 = AB’C+AB’C’+ABC’+AB’C’+ABC+AB’C+A’BC+A’B’C
f1 = AB’C+AB’C’+ABC’+ABC+A’BC+A’B’C
7b =1
f1 = (A+C+B).(A+B+C’) = (A+B+C).(A+B’+C)
f1= 3 (0,2)
11
Además, podría haberse obtenido la expresión NUMÉRICA DE LA PRIMER FORMA
CANÓNICA a partir de la expresión NUMÉRICA DE LA SEGUNDA FORMA
CANÓNICA (y viceversa), reemplazando los símbolos de
y (o viceversa), y completando con los números
Nº ABC f correspondientes a los eventos de entrada no considerados en
la expresión de origen para los cuales la función esté
0 000 --
ESPECIFICADA. Los eventos de la entrada para los cuales
1 001 1 la función no esté especificada (REDUNDANCIAS),
mantienen sus números. Veamos un ejemplo:
2 010 1
f= 3 (1,2,5,7)+ 3 (0,4)
3 011 0
f= 3 (3,6). 3 (0,4)
4 100 -
5 101 1
6 110 0
7 111 1
b) f2 = AB+AB’C+A’B’
F2 = ABC+ABC’+AB’C+A’B’(C+C’)
f2 = ABC+ABC’+AB’C+A’B’C+A’B’C’
f2 = 3 (7,6,5,1,0) f2 = 3 (0,1,5,6,7)
f2 = 3 (2,3,4) f2 = (A+B’C).(A+B’+C’).(A’´B´C)
c) f3 = ABCD’+ABC’+A’BD
12
f3 = ABCD’+ABC’.(D+D’)+A’BD.(C+C’)
f3 = ABCD’+ABC’D+ABC’D’+A’BCD+A’BC’D
f3 = 4 (14,13,12,7,5) f3 = 4 (5,7,12,13,14)
f3 = 3 (0,1,2,3,4,6,8,9,10,11,15)
f3=(A+B+C+D).(A+B+C+D’).(A+B+C’+D).(A+B+C’+D’).(A+B’+C+D).
(A+B’+C’+D).(A’+B+C+D).(A’+B+C+D’).(A’+B+C’+D).(A’+B+C’+D’).
(A’+B’+C’+D’)
d) f4 = AB+(A+C)B’+A’B’C
f4 = (AB+AB’).(C+C’)+B’C.(A+A’)
F4 = ABC+ABC’+AB’C+AB’C’+AB’C+A’B’C
f4 = ABC+ABC’+AB’C+AB’C’+A’B’C
f4 = 3 (7,6,5,4,1) f4 = 3 (0,2,3)
f4 = (A+B+C).(A+B’+C).(A+B’+C’)
Ésta última expresión podría haber sido obtenida expandiendo la expresión algebraica
original, de esta manera:
f4 = ((A+B’)+CC’).((A+C)+BB’) distribuyendo:
f4 = (A+B’+C).(A+B’+C’).(A+B+C).(A+B’+C)
f4 = (A+B’+C).(A+B’+C’).(A+B+C)
e) f5 = 3 (0,1,3,4,5,7) f5 = 3 (2,6)
13
f5 = A’B’C’+A’B’C+A’BC+AB’C’+AB’C+ABC
f5 = (A+B’+C).(A’+B’+C)
f) f6 = 4 (0,1,2,3,12,15)
f6 = A’B’C’D’+A’B’C’D+A’B’CD’+A’B’CD+ABC’D’+ABCD
f6 = 4 (4,5,6,7,8,9,10,11,13,14)
f6=(A+B’+C+D).(A+B’+C+D’).(A+B’+C’+D).(A+B’+C’+D’).(A’+B+C+D).
(A’+B+C+D’).(A’+B+C’+D).(A’+B+C’+D’).(A’+B’+C+D’).(A’+B’+C’+D)
g) f7 = (A+B)’+A’BC+(A.(B+C))’
f7 = A’B’+A’BC+(A’+(B+C)’)
f7 = A’.(B’+BC+1)+B’C’ = A’+B’C’
f7 = A’.(B+B’).(C+C’)+B’C’.(A+A’)
f7 = (A’B+A’B’).(C+C’)+AB’C’+A’B’C’
f7 = A’BC+A’BC’+A’B’C+A’B’C’+AB’C’+A’B’C
f7 = A’BC+A’BC’+A’B’C+A’B’C’+AB’C’
f7 = (A’+B+C’).(A’+B’+C).(A’+B’+C’)
Solución problema Nº 5:
f1 = ABC+AB’+AC’+A’BC
f2 = A+BC
14
Dos funciones lógicas son equivalentes si tienen la misma TABLA DE VERDAD.
Dado que la forma canónica extraida de una determinada tabla de verdad es única, si dos
funciones tienen la misma expresión CANÓNICA, es que son EQUIVALENTES. Por lo
tanto, sacaremos las respectivas formas canónicas de f1 y f2 para ver si son iguales.
f1 = ABC+AB’(C+C’)+AC’.(B+B’)+A’BC
f1 = ABC+AB’C+AB’C’+ABC’+AB’C’+A’BC
f1 = ABC+AB’C+AB’C’+ABC’+A’BC
f1 = 3 (7,5,4,6,3) f1 = 3 (3,,4,5,6,7)
f2 = A.(B+B’).(C+C’)+BC.(A+A’) = (AB+AB’).(C+C’)+ABC+A’BC
f2 = ABC+ABC’+AB’C+AB’C’+ABC+A’BC
f2 = ABC+ABC’+AB’C+AB’C’+A’BC
f2 = 3 (7,6,5,4,3) f2 = 3 (3,4,5,6,7)
Éste ejemplo permite observar que aunque una forma canónica requiera más símbolos, es
más fácil de identificar visualmente por la regularidad de su estructura.
Solución problema Nº 6:
f1 A B C)
f f1 f 2 donde:
f2 D
f1 A B C A B C (D D ) A B C D A B C D f1 (1,0) (0,1)
4 4
f2 D
Aparecerán todos los términos cuyo bit menos significativo (LSB) sea cero, es decir,
todos los términos pares, por lo tanto:
f2 (0,2,4,6,8,10,12,14)
4
15
f (1,2,4,6,8,10,12,14) f (0,3,5,7,9,11,13,15)
4 4
Solución problema Nº 7:
a) f1 = A B f 2 = A
f1 A B AB
f 2 A B (A ) B
f 3 (A B) ((A ) B
(A B ). (A B)
f 4 (A B ) (A B
b) f1 (A B) f
f1 (A B AB ) (A
c) f1 (A B) f 2
f1 AB A B
f 2 A B A( B ) A
f 3 (A ) B A B AB
d) f 1 A(B C) f2 AB AC
f1 A(B C) A(B C BC ) AB C ABC
f2 AB AC (AB) (AC) (AB)(AC) (A B )AC
f2 0 AB C 0 ABC AB C ABC
f1 f2
A C A C AC
g) A C B C A C AC B C BC A B
B C B C BC
A B 0
h) A B 0 A B AB 0 A B
AB 0
Por lo tanto:
A (B C) D A (B C) D (2)
(A B) C D (A B) C D (3)
Faltaría demostrar: A B C A (B C) (A B) C (4)
16
A (B C) = A (BC+BC)+A(BC +BC) = A BC+A BC +ABC +ABC = (1,2,4,7)
(A B) C = (A B +AB)C+(A B+AB)C = A BC+ABC+A BC +ABC = 3 (1,7,2,4)
3
Además, por definición de XOR, la función adopta el valor “1” cuando hay un número
j)
(A B) (A C) A B AB A C AC A (B C) A(B C )
A (B C) A (B C) A(B C)
Por ley de Morgan:
(B C) B C B C (A B) (A C) A (B C)
k) f1 A B f 2 A B AB
f 2 (A B) AB (A B) AB (A B)(AB)
(A B AB)AB (A B AB )(A B )
0 AB A B 0 0 AB A(B B ) A B A A B A B
l) ABC AB
f C
A C ABC C(A
) AB
AB
7a 9a
ABC C.[( A
B ) ] ABC C(AB) AB C
11a
Solución problema Nº 8:
f (5,6,13)
4
f1 (0,1,2,3,5,6,8,9,10,11,13)
f1 (4,7,12,14,15)
4
17
Por lo dicho anteriormente será:
f 2 (0,1,2,3,8,9,10,11) (4,7,12,14,15)
4 4
puede aparecer o no
(seran redundanciasen la tabla de verdad)
f2 (0,1,2,3,8,9,10,11) (4,7,12,14,15)
4 4
Notar que los términos redundantes podrían ser incluídos o no, a los efectos de lograr
una mayor simplificación en el proceso de minimización de la función.
18