Práctica de manipulación algebraica de funciones booleanas

SISTEMAS LOGICOS I

DIGITAL I

PRÁCTICA DE MANIPULACIÓN ALGEBRAICA DE FUNCIONES BOOLEANAS

 Práctica de manipulación algebraica de funciones booleanas

Práctica de manipulación algebraica de funciones booleanas

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:

Simplificar las siguientes funciones booleanas:

a) f1=A’+B’+ABC’
b) f2=A+A’B+A’B’C+A’B’C’D
c) f3=(A’+ABC)+(A’+ABC’)+(A+A’BC)
d) f4=ABC+A(B.C)’+A’BC
e) f5= A+B’+ABC’
f) f6=A’BC+AB+BC+A’B’C
g) f7=A’D’+A’B’+C’D’+BC
h) f8=AB+B’C+AC’D
i) f9=Σ3(1,3,6,7)
j) f10=Σ4 (0,1,2,3,6,12,14)
k) f11= A’B’C’+AB’D’+AC’D+B’C’D’+A’BD+ABC’+BD
l) f12=A’C’D+A’BC’+ABD’+BCD’+B’CD+AC’D
m) f13=∏4(1,4,6,11,14)
n) f14=∏4 (0,2,7,8,10,15)

PROBLEMA NRO. 2:

Obtener el complemento (o negación) de cada una de las siguientes funciones lógicas y

después simplificarlas:
a) f1=A’(B’+C’) (A+B+C’)
b) f2=A’+(C’+B+B’D’) + (C+B’D)
c) f3=(A+B’C’) (B+A’C’)(C+A’B’)
d) f4=A+(C’+B+B’D’). (C+B’D)
e) f5=(A+(B’+CD).(C+AB’)).(B+C’)
f) f6= (B(A+C’)+A’).(B’+A)

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:

Determinar ambas formas canónicas, expresadas tanto algebraica como numéricamente,

de las siguientes funciones lógicas:
a) f1=A(B’+C’)+C
b) f2=AB+AB’C+A’B’
c) f3= ABCD’+ABC’+A’BD
d) f4=AB+(A+C)B’+A’B’C
e) f5=Σ3 (0,1,3,4,5,7)
f) f6=Σ4 (0,1,2,3,12,15)
g) f7=(A+B)’ + A’BC+ (A.(B+C))’
h) f8=∏4 (0,3,11,15)
i) f9=A’(B+C)(B’+A)+AB’C
j) f10=(A’BC+AB’D’)(C+BD)’

PROBLEMA NRO. 5:

Demostrar que las siguientes funciones lógicas son EQUIVALENTES:

f1= ABC+AB’+AC’+A’BC
f2= A+BC

PROBLEMA NRO. 6:

Dada una función cuya expresión algebraica es: f=(A+B+C)’ ⊕ D’

obtener las expresiones canónicas numéricas de suma de productos y de producto de
sumas.

PROBLEMA NRO. 7:

Demostrar las siguientes propiedades de la función OR-exclusiva:

a) A ⊕ B=A’ ⊕ B’=(A’ ⊕ B)’=(A ⊕ B’)’
b) (A ⊕ B)’=AB+A’B’
c) (A ⊕ B)’= A ⊕ B’=A’ ⊕ B
d) A(B ⊕ C)=AB ⊕ AC
e) A ⊕ 1= A’
f) A ⊕ 0 = A
g) Si: A ⊕ C=B ⊕ C , entonces : A=B
h) Si: A ⊕ B=0, entonces : A=B
i) Si: A ⊕ B ⊕ C=D, entonces: A ⊕ B= C ⊕ D y A= B ⊕ C ⊕ D
j) Demostrar si esta identidad es cierta o falsa: A ⊕ (B+C)=(A ⊕ B) + (A ⊕ C)
k) A+B= A ⊕ B ⊕ AB
l) Usando la ecuación k) cualquier expresión puede ser convertida en otra equivalente
conteniendo sólo las operaciones XOR y AND. Transformar la siguiente expresión de
esa manera:
f=ABC’+AB’C+A’C

PROBLEMA NRO. 8:

Siendo f= Σ4(5,6,13) y f1=Σ4(0,1,2,3,5,6,8,9,10,11,13) encontrar una función f2 tal que

se verifique:
f=f1.f2’

3
 Soluciones a los Problemas:

Veamos un sumario de las leyes y teoremas del álgebra de Boole que usaremos en la
resolución de los problemas:

Nro. Nombre a) Forma OR b)Forma AND

Orden
1 Ley de A+A=A A.A=A
IDEMPOTENCIA
2 Existencia de A+0=A A.1=A
ELEMENTOS
NEUTROS
(Ley de Identidad)
3 Ley de ANULACION A+1=1 A.0=0
(Propiedad de los
elementos neutros)
4 Ley CONMUTATIVA A+B=B+A A.B=B.A
5 Ley ASOCIATIVA (A+B)+C=A+(B+C (A.B).C=A.(B.C)
)
6 Ley del INVERSO A+A’ =1 A.A’=0
7 Ley DISTRIBUTIVA A.(B+C)=A.B+AC A+B.C=(A+B).(A+C)
8 Ley de ABSORCION A+A.B=A A.(A+B)=A
9 A+(A’.B)=A+B A.(A’+B)=A.B
10 Ley de CONSENSO AB+BC+A’C=A’B (A+B).(B+C).(A’+C)=(A+
+A’C B).(A’+C)
11 Ley de MORGAN (A+B)’=A’.B’ (A.B)’=A’+B’
12 DOBLE NEGACION (A’)’=A
(Ley de Involución)

En las columnas a) y b) se indican las formas DUALES de representación de cada ley,

ya que el PRINCIPIO DE DUALIDAD establece que si en una identidad se
intercambian entre sí las operaciones suma y producto lógicos, y los elementos 0 y 1, la
identidad permanece válida.
De ahora en adelante, para hacer referencia a una determinada identidad la
identificaremos por la fila y la columna del cuadro. De esta manera, el indicador(6.a)
hará referencia a la identidad A+A’=1. Esto nos permitirá explicar en forma concisa las
respectivas leyes usadas en la manipulación algebraica.

Solución Problema nro. 1:

a) f1=A’+B’+ABC’ 4.b

f1=A’+B’+B.AC’ 9.a

f1=A’+B’+AC’ 4.a

4
f1= A’+AC’ 9.a + B

f1=A’+C’+B’ 4.a

f1=A’+B+C’

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)

(5.a) ⇒f3=A’+ABC+A’ 4.a+ABC’+A 4.a+A’BC

f3’=A+A’ 1.a+ABC+A 4.a+ABC’+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=ABC+A(B’+C’) 7.a +A’BC

f4=ABC+AB’ 2.b+AC’ 2.b+A’BC

f4=ABC+AB’.1 6.a+AC’.1 6.a+A’BC

f4=ABC+AB’(C+C’) 7.a+AC’(B+B’) 7.a+A’BC

5
f4= ABC+AB’C+AB’C’+AC’B 4.b+AC’B’ 4.b+A’BC

f4=ABC 4.b+AB’C 4.b+AB’C’+ABC’+AB’C’ 4.a+A’BC

f4=ACB+ACB’ 7.a+AB’C’+AB’C’ 1.a+ABC’+A’BC

f4=AC(B+B’) 6.a+AB’C’4.a+ABC’4.a+A’BC

f4=AC.1 2.b+AC’B’+AC’B 7.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

f4=A(C+C’) 6.a+A’BC

f4=A.1 2.b+A’BC 5.b

f4=A+A’(BC) 9.a

f4=A+BC

Otra forma de resolverlo:

f4=A(BC+(BC)’)+A’BC

f4=A+A’BC=A+BC

Otra opción: f4=BC+(A+A’)+A(BC)’

f4=BC+(BC)’A=BC+A

e) f5= A+B’+ABC’ 4.a

f5=A+ABC’ 8.a+B’

f5=A+B’

f) f6=A’BC+AB+BC+A’B’C

4.a⇒f6=A’BC+A’B’C 7.a+AB+BC

f6=A’C+(B+B’) 6.a+AB+BC

6
f6=A’C.1 2.b+AB+BC

f6=A’C+AB+BC

4.a⇒f6=AB+BC+A’C 10.a

f6=AB+A’C
g) f7=A’D’ 2.b+A’B’+C’D’+BC

f7=A’D’.1 6.a +A’B’+C’D’ 4.a+BC

f7=A’D’(C+C’) 7.a+C’D’+A’B’+BC

f7=A’D’C 4.a+A’D’C’ 4.a+C’D’+A’B’+BC

f7=A’CD’ 2.b+A’C’D’+C’D’ 7.a+A’B’+BC

f7=A’CD’.1 6.a+C’D’(A’+1) 3.aA’B’+BC

f7=A’CD’(B+B’) 7.a+C’D’.1 2.b+A’B’+BC

f7=A’BCD’+A’B’CD’+C’D’+A’B’+BC

4.a⇒f7=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=AB.1 6.a+B’C.1 6.a+AC’D

f8=AB.(C’+C (C+D´)) (7.a) + B’C.(D+D’.(A+A’) (7.a) +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+ABCD’ (7.a) +B’CD’+A’B’CD+AC’D

f8=ABC’+AC(D+D’B) (9.a) +B’CD’+A’B’CD(4.a) +AC’D

f8=ABC’+AC(D+B) (7.a) +A’B’CD+B’CD’+AC’D

f8=ABC’+ACD+ACB+A’B’CD’+B’CD+B’CD’+AC’D

7
 (7.a)

f8=ABC’+CD(A+A’B’C) (9.a) +ABC+B’CD’+AC’D

(7.a)

f8=AB(C’+C) (6.a) +CD(A+B’C) (7.a) +B’CD’+AC’D

------------(2.b)

f8=AB+ACD+B’CD+B’CD’(7.a) (6.a) (2.b) +AC’D

f8=AB+ACD+B’C+AC’D (7.a)

f8=AB+B’C+AD(C+C’) (6.a)

-----------(2.b)

f8=AB+B’C+AD

i)f9=∑3(1,3,6,7)

Tener presente que esta forma de notación indica la correpondiente SUMA DE

PRODUCTOS CANÓNICOS (minterm). Es decir daría el equivalente decimal de
TODAS las filas donde la tabla presenta un “1” a su salida.

Para evitar ambigüedades entre la notación NUMÉRICA y la

Nº ABC f9 ALGEBRAICA hay que convenir en el ordenamiento que
tendrán las variables (literales) en la tabla. Convendemos en
0 000 0 asignar el literal que aparezca en primer término entre
paréntesis al bit más significativo (MSB) y de ahí en adelante
1 001 1 ordenando en forma correlativa. Por ejemplo :
f(X,Z,W)=∑3(1,4)=X’Z’W+XZ’W’
2 010 0
Se deja constancia que esta CONVENCIÓN no es universal
3 011 1 (hay autores que ordenan las tablas al revés). Es simplemente
una manera de ponernos de acuerdo en la notación. En caso de
4 100 0
no estar especificadas las variables, asignaremos el MSB al
5 101 0 literal A, el siguiente al B,etc. Por lo dicho resulta:

6 110 1 F9=∑ 3 (1,3,6,7)=A’B’C+A’BC+ABC’+ABC

7 111 1 001 011 110 111

Notar que cada minterm puede escribirse pensando en la

notación binaria del equvalente decimal, sin armar la tabla, negando la variable cuando
en la respectiva combinación de entradas el respectivo bit es “0” y dejándola sin negar
en caso que sea “1” .

8
f 9= A’C(B’+B) ( 6 a ) +AB(C’+C) (6a) = A’C . 1 (2a) + AB .1 (2a) = A’C+AB

j) f 10= ∑ 4 (0,1,2,3,6,12,14)

f 10= A’B’C’D’+A’B’C’D (7a) +A’B’CD’+A’B’CD(7a)

+A’BCD’+ABC’D’+ABCD’(7a)

f 10= A’B’C’(D’+D) + A’B’C(D’+D) +A’BCD’+ ABD’(C’+C)

f 10= A’B’C’+A’B’C+A’BCD’+ABD’

f 10= A’B’(C’+C) +BD’(A’C+A) (9a)

f 10 = A’B’+BD’(C+A) = A’B’+BCD’+ABD’

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

Este problema nos permitirá ejercitarnos en el uso de las leyes de De Morgan

a) f1= A’(B’+C’)(A+B+C’)

f ‘1 = (A’(B’+C’)(A+B+C’))’ = (A’)’ + (B’+C’)’ +(A+B+C’)’

f ‘1 = A+BC+A’B’C (7.a)

f ‘1 = A+C(B+B’A’) (9.a) = A+C.(B+A’(7.a)) = A+BC+A’C

f ‘1 = A+A’C’(9.a) +BC = A+C+BC(8.a) = A+C

b) f2= A+(C’+B+B’D’)+(C+B’D).

f ‘2= (A+(C’+B+B’D’)+(C+B’D))’

f ‘2 = A’.(C’+B+B’D’)’ (9.a). (C+B’D)’

f ‘2= A’.(C’+B+D’)’ (11.a)..(C’.(B’D)’ (11.b)

f ‘2= A’.(CB’D).(C’(B+D’)) = C.C’(6.b). (A’B’D(B+D’))

f ‘2 = 0.( ) (3.a). = 0

9
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’

f ‘3= A’B(C+C’)+ A’C (B+B’)+AB’+B’C(A+A’)+AC’+BC’(A+A’)

f ‘3=A’BC + A’BC’ + A’BC +A’B’C + AB’+AB’C(8.a) + A’B’C(1.a) +AC’+ABC’(8.a) +

A’BC’(1.a)

f ’3=A’BC+A’BC’(7.a) +A’B’C+AB’(7.a) +AC’

f ‘3=A’B(C+C’) (6.a) +B’(A’C+A) (9.a) +AC’

f ‘3=A’B.1 (2.b) +B’(C+A) (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+B’D’).(C+B’D))’ .Por (11.a) resulta:

f ‘4=A’.((C’+B+B’D’) (9a) .(C+B’D))’

f ‘ 4= A’.((C’+B+D’).(C+B’D))’ (11.b)

f ‘4= A’.((C’+B+D’)’+(C+B’D)’)

f ‘4= A’.(CB’D+C’.(B’D)’) (7a)

f ‘4= A’B’CD+ A’C’(B’D)’ (11.b) = A’B’CD+A’C’(B+D’) (7.a)

f ‘4= A’B’CD+ A’BC’+A’C’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

10
Por lo tanto, las condiciones que deben cumplir son:

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)

c) ABD+BCD+A’CD= ABD+A’CD ⇒ D(AB+BC+A’C) = D(AB+A’C)

⇒ AB+BC+A’C=AB+A’C

Por ley de CONSENSO (10a) la identidad es válida siempre

Solución problema Nº 4

a) f1= A(B’+C’)+C

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.

En el caso de suma de productos, se multiplica cada producto por la suma de las

variables que faltan en él y sus inversas ((2b)(6a)), y se distribuye (7a) y se suprimen
los términos repetidos (1a) . Es decir :

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

Expresión algebraica de la primer forma canónica tambien llamada SUMA DE

PRODUCTOS CANÓNICOS o EXPRESIÓN NORMAL DISJUNTA .

La expresión numérica de la primer forma canónica se obtiene reemplazando

directamente cada minterm. de la expresión algebraica por su equivalente decimal:

f1= ∑ 3 (5,4,6,7,3,1) = ∑ 3 (1,3,4,5,6,7)

11
En el caso de Producto de sumas, se le suma a cada una de las sumas el producto de
cada variable que falta en ella por su inversa ((2a) y (6b)), y se distribulle (7 b) y se
suprimen los términos repetidos (1 b). Es decir:

f1= A.(B’+C’)+C = (A+C).((B’+C’)+C) = A+C = (A+C)+BB’

7b =1

f1 = (A+C+B).(A+B+C’) = (A+B+C).(A+B’+C)

Expresión algebraica de la segunda forma canónica también llamada PRODUCTO DE

SUMAS CANÓNICAS o Expresión normal Conjunta. La expresión numérica de la
segunda forma canónica se obtiene reemplazando directamente cada maxterm. de la
expresión algebraica por su equivalente decimal, teniendo presente en éste caso, para
determinarlo, a cada variable negada le corresponde un “1” y a la variable sin negar le
corresponde un “0”. Es decir:

f1= Π 3 (0,2)

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),
Nº ABC f reemplazando los símbolos de ∑ y Π (o viceversa), y
completando con los números correspondientes a los
0 000 --
eventos de entrada no considerados en la expresión de
1 001 1 origen para los cuales la función esté ESPECIFICADA. Los
eventos de la entrada para los cuales la función no esté
2 010 1 especificada (REDUNDANCIAS), mantienen sus números.
Veamos un ejemplo:
3 011 0
f= ∑ 3 (1,2,5,7)+ ∑ 3 φ (0,4)
4 100 -
f= Π 3 (3,6). Π 3 φ (0,4)
5 101 1

6 110 0

7 111 1

Si se necesita determinar la expresión numérica de una función partiendo de la

expresión NUMERICA de su COMPLEMENTO, bastarí intercambiar los símbolos de
∑ y Π manteniendo los números. Es decir:

Si: f = ∑ 3 (1,2,5,7) + ∑ 3 φ (0,4) ⇒ f’ = Π 3 (1,2,5,7) . Π 3 (0,4)

12
Si: f = Π 3 (3,6) . Π 3 φ (0,4) ⇒ f’ = ∑ 3 (3,6) + ∑ 3 φ (0,4)

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

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’+B’C+A’B’C 8.a = AB+AB’+B’C

f4 = (AB+AB’).(C+C’)+B’C.(A+A’)

F4 = ABC+ABC’+AB’C+AB’C’+AB’C+A’B’C

13
 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 = AB+AB’ 7.a y 6.a +B’C = A+B’C 7.b = (A+B’).(A+C)

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)

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)’)

14
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 = ∑ 3 (3,2,1,0,4) = ∑ 3 (0,1,2,3,4) ⇒ F7 = Π 3 (5,6,7)

f7 = (A’+B+C’).(A’+B’+C).(A’+B’+C’)

Solución problema Nº 5:

f1 = ABC+AB’+AC’+A’BC

f2 = A+BC

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

15
 f2 = ∑ 3 (7,6,5,4,3) ⇒ f2 = ∑ 3 (3,4,5,6,7)

Por lo tanto, f1 y f2 son EQUIVALENTES.

É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:

f 2 = ∑ (0,2,4,6,8,10,12,14)
4

Por definición de OR-exclusiva, la función f = f1 ⊕ f 2 adoptará al valor lógico “1”

para aquellas combinaciones de entrada para las que las funciones f1 y f2 adopten
valores diferentes. Es decir, aparecerán los minterm que aparezcan en una sola de las
funciones. Es decir:

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:

16
a) f1 = A ⊕ B f 2 = A ′ ⊕ B′ f 3 = (A ′ ⊕ B) ′ f 4 = (A ⊕ B′ ) ′
f1 = A ′B + AB′
f 2 = A ′ ⊕ B′ = (A ′) ′B′ + A ′(B′ ) ′ = AB′ + A ′B ⇒ f 2 = f1
f 3 = (A ′ ⊕ B) ′ = ((A ′) ′B + A ′B′ ) ′ = (AB + A ′B′ ) ′ = (AB) ′.(A ′B′ ) ′ =
= (A ′ + B′ ).(A + B) = 0 + A ′B + B′ A + 0 ⇒ f 3 = f1
f 4 = (A ⊕ B′ ) ′ = (A ′B′ + A(B′ ) ′) ′ = (A ′B′ + AB) ′ = f 3 ⇒ f 4 = f1

b) f1 = (A ⊕ B) ′ f 2 = AB + A ′B′
f1 = (A ′B + AB′ ) ′ = (A ′B) ′.(AB′ ) ′ = (A + B′ ).(A ′ + B) = 0 + AB + B′ A + 0 = f 2

c) f1 = (A ⊕ B) ′ f 2 = A ⊕ B′ f3 = A ′ ⊕ B
f1 = AB + A ′B′
f 2 = A ′B′ + A(B′ ) ′ = A ′B′ + AB ⇒ f 2 = f1
f 3 = (A ′) ′B + A ′B′ = AB + A ′B′ ⇒ f 3 = f1

d) f1 = A(B ⊕ C) f 2 = AB ⊕ AC
f1 = A(B ⊕ C) = A(B′ C + BC ′) = AB′ C + ABC ′
f 2 = AB ⊕ AC = (AB) ′(AC) + (AB)(AC) ′ = (A ′ + B′ )AC + AB(A ′ + C ′)
f 2 = 0 + AB′ C + 0 + ABC ′ = AB′ C + ABC ′
∴ f1 = f 2

e) A ⊕ 1 = A ′.1 + A.1′ = A ′ + 1.0 = A ′

f) A ⊕ 0 = A ′.0 + A.0 ′ = 0 + A.1 = A ′

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

i) Probaremos primero que si: x ⊕ α = y entonces x = y ⊕ α (1)

Si x = α ⇒ y = 0 ⇒ 0 ⊕ α = α = x 
 ⇒ queda demostrado (1)
Si x ≠ α ⇒ y = 1 ⇒ 1 ⊕ α = α ′ = x 

Por lo tanto:

17
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)

A ⊕ (B ⊕ C) = A ′(B ′ C + BC ′) + A(B ′ C ′ + BC) = A ′B ′ C + A ′BC ′ + AB ′ C ′ + ABC = ∑ (1,2,4,7)

 3
(A ⊕ B) ⊕ C = (A ′B ′ + AB)C + (A ′B + AB ′ )C ′ = A ′B ′ C + ABC + A ′BC ′ + AB ′ C ′ = ∑ (1,7,2,4)
 3

Además, por definición de XOR, la función adopta el valor “1” cuando hay un número
impar de entradas en “1” ⇒ A ⊕ B ⊕ C = ∑ (1,2,4,7)
3

Con lo que queda demostrado (4)

 3

 (A ⊕ B) ⊕ C = D ⇒
4
A⊕B = C⊕D
A ⊕ B ⊕ C = D ⇒ 2 demostrado
A ⊕ (B ⊕ C) = D ⇒ A = (B ⊕ C) ⊕ D = B ⊕ C ⊕ D

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 = f1

l) f = ABC ′ + AB
1 44′ C2+4A43′C = ABC ′ + C(A 14′ +2 AB
43 ′) = ABC ′ + C(A
14′2+43B′) =
7a 9a 12
= ABC ′ + C.[(A ′ +
14 2 43 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)

18
Como f = f1 .f 2′ , si expresamos las funciones como producto de sumas canónicas
(maxterm), los maxterm de f2’ deben completar los maxterm que le falten a f1’ para
lograr f, sin agregar ningún maxterm que no esté en f.
f = ∏ (0,1,2,3,4,7,8,9,10,11,12,14,15)
4

f1 = ∏ (4,7,12,14,15)
4

Por lo dicho anteriormente será:

f 2′ = ∏ (0,1,2,3,8,9,10,11) • ∏ ∅(4,7,12,14,15)
4 1 44 4 4 2 4 4 43
puede aparecer o no
(seran redundanciasen la tabla de verdad)

Aplicando la Doble Negación (12) y la ley de De Morgan (11.b) resulta:

f = (f 2′ ) ′ = (∏ (0,1,2,3,8,9,10,11) • ∏ ∅(4,7,12,14,15)

Según lo explicado en pág.12, será:

f 2 = ∑ (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.

19