ÁLGEBRA BOOLEANA

(LÓGICA DE PROPOSICIONES)

Clasificación de las proposiciones lógicas:

 Simples o Atómicas

Proposiciones lógicas 
Compuestas o Moléculares


Una proposición compuesta se encuentra formada por dos o más proposiciones simples,
las cuales están ligadas por un conectivo lógico, la siguiente tabla muestra: La denominación
para las proposiciones, el conectivo asociado y la simbolización que corresponde a cada
proposición compuesta.

Denominación Conectivo lógico Simbolización

Conjunción " y" pq
Disyunción "o" pq
Condicional " Si.....entonces...." pq
Bicondicional (Equivalencia) "...Si y sólo si..." pq
Negación " No se cumple..." p

Si se consideran como operaciones la conjunción, la disyunción y la negación, entonces se

puede construir una estructura algebraica, denominada “Álgebra Booleana”

Con el objetivo de desarrollar dicha estructura, se presenta un principio.

Principio del tercero excluido:

p
0
1

Con el que se pueden construir las tablas de verdad de la conjunción, disyunción,

implicación y bicondicional:

Conjunción Disyunción Condicional Bicondicional

p q pq pq p→q p p
0 0 0 0 1 1
0 1 0 1 1 0
1 0 0 1 0 0
1 1 1 1 1 1
 Propiedades del Álgebra Booleana

Propiedad Disyunción Conjunción

Asociatividad ( p  q)  r  p  (q  r ) ( p  q)  r  p  (q  r )
Conmutatividad pq  q p pq  q p
Distributividad p  (q  r )  ( p  q)  ( p  r ) p  (q  r )  ( p  q)  ( p  r )
p  p  T p  p  C
Identidad pC  p pC  C
pT  T p T  p
Absorción [ p  ( p  q)]  p [ p  ( p  q)]  p
Idempotencia p p  p p p  p
D’Morgan ( p  q)  p  q ( p  q)  p  q
( p  q )  ( p  q ) ( p  q)  ( p  q)
Implicación ( p  q )  ( p  q ) ( p  q)  ( p  q)
[( p  r )  (q  r )]  [( p  q)  r ] [( p  q)  ( p  r )]  [ p  (q  r )]
Doble Complemento (p)  p
Contrapositiva ( p  q)  (q  p)
Exportación [( p  q)  r ]  [ p  (q  r )]
Equivalencia ( p  q)  [( p  q)  (q  p)]
Reducción al absurdo ( p  q)  [( p  q)  c]

Las propiedades enunciadas anteriormente se pueden demostrar empleando las tablas de

verdad:

Ejemplo: Demostrar que ( p  q)  r = p  ( q  r ) (ASOCIATIVIDAD DE LA

DISYUNCIÓN)

Solución
p q r pq ( p  q)  r  (q  r ) p  (q  r )
0 0 0 0 0 1 0 0
0 0 1 0 1 1 1 1
0 1 0 1 1 1 1 1
0 1 1 1 1 1 1 1
1 0 0 1 1 1 0 1
1 0 1 1 1 1 1 1
1 1 0 1 1 1 1 1
1 1 1 1 1 1 1 1

Dado que la tabla anterior representa una tautología, se demuestra que la propiedad
asociativa para la disyunción es válida.
 Las operaciones cumplen con un orden de jerarquía (salvo paréntesis):

, 
, 


Las propiedades se pueden emplear en la reducción de expresiones Booleanas.

Ejemplos:

1. En los siguientes incisos demostrar que E1 ( p, q, r )  E 2 ( p, q, r )

a ). E1 ( p, q, r )  {[(p  q )  r ]  [(p  q )  r ]}  ( p  q )
E 2 ( p , q , r )  (p  r )  ( p  q )
b). E1 ( p, q, r )  [( p  q )  (p  r )]  ( p  r )
E 2 ( p, q, r )  ( p  q )  r
c ). E1 ( p, q )  p  (p  q )
E 2 ( p, q )  p  q
d) E1 ( p, q, r )  [( p  q )  r ]  [( p  q )  r ]
E 2 ( p , q , r )  p  r

Solución:
a ). E1 ( p, q, r )  {[(p  q )  r ]  [(p  q )  r ]}  ( p  q )
E2 ( p, q, r )  (p  r )  ( p  q )

E1 ( p , q, r )  {[(p  q)  r ]  [(p  q)  r ]}  ( p  q)

 {[p  (q  r )]  [p  (q  r )]}  ( p  q) Asociatividad
 {[p  (r  q)]  [p  (r  q)]}  ( p  q) Conmutatividad
 {[(p  r )  q]  [(p  r )  q]}  ( p  q) Asociatividad
 [(p  r )  (q  q)]  ( p  q) Distributividad
 [(p  r )  T ]  ( p  q) Identidad
 (p  r )  ( p  q) Identidad
 E 2 ( p, q, r )

b). E1 ( p, q, r )  [( p  q)  (p  r )]  ( p  r )
E 2 ( p, q, r )  ( p  q )  r )

E1 ( p, q, r )  [( p  q)  (p  r )]  ( p  r )
 ( p  q)  [(p  r )  ( p  r )] Asociatividad
 ( p  q)  [r  (p  p)] Distributividad
 ( p  q)  ( r  T ) Identidad
 ( p  q)  r Identidad
 E 2 ( p, q, r )
d ) E1 ( p, q, r )  [( p  q)  r ]  [( p  q)  r ]
E2 ( p, q, r )  p  r

E1 ( p , q , r )  [( p  q)  r ]  [( p  q)  r ]
 [( p  r )  q]  [( p  r )  q] Asociatividad
 ( p  r )  (q  q) Distributividad
 ( p  r )  T Complementos
 ( p  r ) Identidad
 E 2 ( p, q, r )

2. Encuentre la negación de las siguientes funciones:

a). E ( p, q, r )  [(p  q)  r ]  [(p  q)  r ]

b). E ( p, q, r )  p  [(q  z )  ( p  q)]
c). E (a, b, c, d )  [(b  c)  (a  d )]  [( a  b)  (c  d )]
d ). E (a, b, c, d )  [b  d ]  [a  (b  c)]  [a  (c  d )]  [a  (b  c)]
e). E (a, b, c, d )  (a  b)  (c  d )

Solución:
a). E ( p, q, r )  [(p  q)  r ]  [(p  q)  r ]

E1 ( p, q, r )  {[(p  q)  r ]  [(p  q)  r ]}

 [(p  q)  r ]  [(p  q)  r ] D’Morgan
 [(p  q)  (r )]  [(p  q)  r ] D’Morgan
 [(p  q)  (r )]  [(p  q)  r ] D’Morgan
 [( p  q)  r ]  [( p  q)  r ] Doble
Negación
 ( p  p)  ( p  q)  ( p  r )  (q  p)  (q  q)  Distributividad
(q  r )  (r  p)  (r  q)  (r  r )
 ( p  p)  ( p  q)  ( p  r )  (q  p)  C  Identidad
(q  r )  (r  p)  (r  q)  C
 p  ( p  q)  ( p  r )  (q  p)  C  Idempotencia
(q  r )  (r  p)  (r  q)  C
 [ p  ( p  q)  ( p  r )  (q  p)  (r  p)]  C  Asociatividad
(q  r )  (r  q)  C
 p  C  (q  r )  (r  q)  C Absorción
 p  (q  r )  (r  q) Identidad
 FUNCIONES PROPOSICIONALES.

Sean p( x) y q( x) dos funciones proposicionales, se pueden enunciar las propiedades del

Álgebra Booleana:

Propiedad
[ p( x)  q( x)]  r ( x)  [ p( x)  q( x)]  r ( x) 
Asociatividad
p( x)  [q( x)  r ( x)] p( x)  [q( x)  r ( x)]
Conmutatividad p ( x)  q ( x)  q ( x)  p ( x) p ( x)  q ( x)  q ( x)  p ( x)
Idempotencia p ( x)  p ( x)  p ( x) p ( x)  p ( x)  p ( x)
p( x)  p( x)  T p( x)  p( x)  C
Identidad p( x)  C  p p ( x)  C  C
p( x)  T  T p ( x)  T  p
Contradicciones p ( x)  C  p ( x) p ( x)  C  C
D’Morgan [ p( x)  q( x)]  p( x)  q( x) [ p( x)  q( x)]  p( x)  q( x)]
p( x)  [q( x)  r ( x)]  p( x)  [q( x)  r ( x)] 
Distributividad
[ p( x)  q( x)]  [ p( x)  r ( x)] [ p( x)  q( x)]  [ p( x)  r ( x)]
Complementos T  C C  T
Absorción [ p( x)  [ p( x)  q( x)]  p( x) [ p  ( p  q)]  p
[ p ( x)  q ( x)]  [p ( x)  q ( x)] [ p ( x)  q ( x)]  [ p ( x)  q ( x)]
[ p ( x)  q ( x)]  [p ( x)  q ( x)] [ p ( x)  q ( x)]  [ p ( x)  q ( x)]
Implicación
{[ p ( x)  r ( x)]  [q ( x)  r ( x)]}  {[ p ( x)  q ( x)]  [ p ( x)  r ( x)]} 
{[ p ( x)  q ( x)]  r ( x)] { p ( x)  [q ( x)  r ( x)]}
Doble [p( x)]  p( x)
Complemento
Contrapositiva [ p( x)  q( x)]  [q( x)  p( x)]
{[ p( x)  q( x)]  r ( x)} 
Exportación
{ p( x)  [q( x)  r ( x)]}
[ p( x)  q( x)]  {[ p( x)  q( x)] 
Equivalencia
[q( x)  p( x)]}
 TEORIA DE CONJUNTOS

Ahora bien, un conjunto se puede definir de la siguiente manera: A = {x / p( x)} donde p(x)
representa una función proposicional.

Operaciones entre conjuntos

Sean los conjuntos: A = {x / p( x)} y B = {x / q( x)} se definen las operaciones:

Unión entre conjuntos. A  B = {x / p( x)  q( x)}

Intersección entre conjuntos. A  B = {x / p( x)  q( x)}

Complemento de un conjunto. AC = {x / p( x)}

Así mismo, los conjuntos “especiales” son:

Conjunto Universo U = {x / T } , T representa una Tautología.

Conjunto Vacío  = {x / C} , C representa una Contradicción.

Las operaciones definidas de esta forma cumplen las propiedades del Álgebra Booleana
establecidas anteriormente.

Propiedad
Asociatividad ( A  B)  C = A  ( B  C ) ( A  B)  C = A  ( B  C )
Conmutatividad A B = B  A A B = B  A
Idempotencia A A = A A A = A
A  Ac = U A  Ac = 
Identidad A = A A = 
A U = U A U = A
D’Morgan ( A  B) C
= A B
C C
( A  B)C = AC  B C
Distributividad A  ( B  C ) = ( A  B)  ( A  C ) A  ( B  C ) = ( A  B)  ( A  C )
Complementos (U ) c =  () c = U
Absorción A  ( A  B) = A A  ( A  B) = A
Doble AC = A
Complemento
Contrapositiva A  B  B C  AC

Equivalencia A = B  [ A  B]  [ B  A]

Se puede mostrar, por ejemplo:

D’Morgan:

( A  B ) C = [{ x / p ( x )}  { x / q ( x )}]C
= [{ x / p ( x )  q ( x )}]C
= { x / [ p ( x )  q ( x )]}
= { x / p ( x )  q ( x )}
= { x / p ( x )}  { x / q ( x )}
= { x / p ( x )}C  { x / q ( x )}C
= AC  B C

( A  B ) C = [{ x : p ( x )}  { x / q ( x )}]C
= [{ x / p ( x )  q ( x )}] C
= { x / [ p ( x )  q ( x )]}
= { x / p ( x )  q ( x )}
= { x / p ( x )}  { x / q ( x )}
= { x / p ( x )}C  { x / q ( x )}C
= AC  B C

Conmutatividad:

A  B = { x / p ( x )}  { x / q ( x )}
= { x / p ( x )  q ( x )}
= { x / q ( x )  p ( x )}
= { x / q ( x )}  {x / p ( x )}
= B A

A  B = { x / p ( x )}  { x / q ( x )}
= { x / p ( x )  q ( x )}
= { x / q ( x )  p ( x )}
= { x / q ( x )}  { x / p ( x )}
= B A

Propiedades del vacío y del universo.

A  AC = { x / p ( x )}  { x / p ( x )}
= { x / p ( x )  p ( x )}
= { x / C}
= 

A  A C = {x / p ( x)}  {x / p ( x)}
= {x / p ( x)  p ( x)}
= {x / T }
=U
 C = { x /  C}
= {x / T }
=U

U C = { x / T }
= { x / C}
=
 EL ÁLGEBRA BOOLEANA.
(NOTACIÓN DIFERENTE)

Propiedad Adición Producto

Asociatividad ( x + y) + z = x + ( y + z ) ( xy ) z = x( yz )
Conmutatividad x+ y = y+x xy = yx
Distributividad x + ( y z ) = ( x + y) ( x + z) x( y + z ) = x y + x z
Identidad x +1 = 1 x(1) = x
x + x'= 1 x( x' ) = 0
x+0= x ( x)(0) = 0
Absorción x + xy = x x( x + y ) = x
Idempotencia x+x = x xx = x
D’Morgan ( x + y)' = x' y' ( x y)' = x'+ y'
Doble ( x' )' = x
Complemento

Ejemplo 1: Construir la tabla de verdad de ( p  q) → s

Solución Mintermino Designación

p q s  (p  q)  s
0 0 0 1 0 0 0 0 0 p’q’s’ m0
0 0 1 1 0 0 0 1 1 p’q’s m1
0 1 0 1 0 0 1 0 0 p’q s’ m2
0 1 1 1 0 0 1 1 1 p’q s m3
1 0 0 1 1 0 0 0 0 p q’s’ m4
1 0 1 1 1 0 0 1 1 p q’s m5
1 1 0 0 1 1 1 1 0 p q s’ m6
1 1 1 0 1 1 1 1 1 pqs m7

La solución se puede escribir como una función Booleana:

f ( p, q, s) = (1,3,5,6,7)

También como suma de minterminos:

 f ( p, q, s ) = (1,3,5,6,7)
= m1 + m3 + m5 + m6 + m7
= p ' q ' s + p ' qs + pq' s + pqs'+ pqs
= p ' s + pq' s + pq
= p' s + p(q' s + q)
= p ' s + p (q '+ q )( s + q )
= p' s + p( s + q)
= p ' s + ps + pq
= s + pq

Ejemplo 2: Construir la tabla de verdad de ( p → q) → [(q → r )  (q → r )]

Minitermino Designación
p q r ( p → q) → [ (q → r)  (q → r ) ]
0 0 0 1 1 1 1 1 p’q’s’ m0
0 0 1 1 1 1 1 1 p’q’s m1
0 1 0 1 0 0 0 1 p’q s’ m2
0 1 1 1 0 1 0 0 p’q s m3
1 0 0 0 1 1 1 1 p q’s’ m4
1 0 1 0 1 1 1 1 p q’s m5
1 1 0 1 0 0 0 1 p q s’ m6
1 1 1 1 0 1 0 0 pqs m7

RESULTADO

La solución se puede escribir como una función Booleana:

f ( p, q, s) = (0,1,4,5)

También como suma de minterminos:

f ( p, q, s ) = (0,1,4,5)
= m0 + m1 + m4 + m5
= p ' q ' s '+ p ' q ' s + pq' s '+ pq' s
= p ' q ' ( s '+ s ) + pq' (`s '+ s )
= p ' q '+ pq'
= q ' ( p '+ p )
= q'
Un decodificador a-siete-segmentos es un circuito combinacional que acepta un dígito decimal en
binario y genera las salidas apropiadas para la selección de segmentos:

a a a

f b f b
g g

e c c c
d d

La Tabla

p q r s a b c d e f g
0 0 0 0 1 1 1 1 1 1 0 

0 0 0 1 0 1 1 0 0 0 0
 
0 0 1 0 1 1 0 1 1 0 1
0 0 1 1 1 1 1 1 0 0 1
 
R = 0 1 0 0 0 1 1 0 0 1 1
0 1 0 1 1 0 1 1 0 1 1
 
0 1 1 0 1 0 1 1 1 1 1
0 1 1 1 1 1 1 0 0 0 0
 
1 0 0 0 1 1 1 1 1 1 1
 
1 0 0 1 1 1 1 1 0 1 1

Las funciones:

a ( p, q, r , s ) =  (0,2,3,5,6,7,8,9) = m0 + m2 + m3 + m5 + m6 + m7 + m8 + m9
= p ' q ' r ' s '+ p ' q ' rs '+ p ' q ' rs + p ' qr ' s + p ' qrs'+ p ' qrs + pq' r ' s '+ pq' r ' s
= ( p ' q ' rs '+ p ' q ' rs + p ' qrs
= ( p ' q ' rs '+ p ' q ' rs + p ' qrs'+ p ' qrs) + [( p ' qrs) + p ' qr ' s ] + ( pq' r ' s '+ pq' r ' s )
+ [ p ' q ' r ' s '+( pq' r ' s ' )]
= [ p ' q ' r ( s '+ s ) + p ' qr ( s '+ s )] + [ p ' qs(r + r ' )] + pq' r ' ( s '+ s ) + [q ' r ' s ' ( p '+ p )]
= ( p ' q ' r + p ' qr ) + ( p ' qs) + pq' r '+ q ' r ' s '
= p ' r (q '+ q ) + p ' qs + pq' r '+ q ' r ' s '
= p ' r + p ' qs + pq' r '+ q ' r ' s ' = p ' (r + qs) + q ' r ' ( p + s ' )
b( p, q, r , s ) =  (0,1,2,3,4,7,8,9) = m0 + m1 + m2 + m3 + m4 + m7 + m8 + m9
= p ' q ' r ' s '+ p ' q ' r ' s + p ' q ' rs '+ p ' q ' rs + p ' qr ' s '+ p ' qrs + pq' r ' s '+ pq' r ' s
= ( p ' q ' r ' s '+ p ' q ' r ' s + pq' r ' s '+ pq' r ' s ) + ( p ' q ' rs '+ p ' q ' rs ) + [( p ' q ' r ' s ' ) + p ' qr' s ' ]
+ [( p ' q ' rs ) + p ' qrs]
= [ p ' q ' r ' ( s '+ s ) + pq' r ' ( s '+ s )] + p ' q ' r ( s '+ s ) + [ p ' r ' s ' (q '+ q )] + [ p ' rs (q '+ q )]
= [ p ' q ' r '+ pq' r ' ] + p ' q ' r + [ p ' r ' s ' ] + [ p ' rs ]
= [q ' r ' ( p '+ p )] + p ' q ' r + [ p ' r ' s ' ] + [ p ' rs ]
= q ' r '+ p ' q ' r + p ' r ' s '+ p ' rs = p ' (q ' r + r ' s '+ rs ) + q ' r ' = p '[r (q '+ s ) + r ' s ' ] + q ' r

c( p, q, r , s ) =  (0,1,3,4,5,6,7,8,9) = m0 + m1 + m3 + m4 + m5 + m6 + m7 + m8 + m9
= p ' q ' r ' s '+ p ' q ' r ' s + p ' q ' rs + p ' qr ' s '+ p ' qr ' s + p ' qrs'+ p ' qrs + pq' r ' s '+ pq' r ' s
= [ p ' q ' r ' s '+ p ' q ' r ' s + p ' qr ' s '+ p ' qr ' s ] + [( p ' q ' r ' s + p ' qr ' s ) + p ' q ' rs + p ' qrs]
+ [( p ' qrs) + p ' qrs' ] + [( p ' q ' r ' s '+ p ' q ' r ' s ) + pq' r ' s '+ pq' r ' s ]
= [ p ' q ' r ' ( s '+ s ) + p ' qr ' ( s '+ s )] + [( p ' r ' s (q '+ q ) + p ' rs (q '+ q )] + [ p ' qr ( s + s ' )]
+ [ p ' q ' r ' ( s '+ s ) + pq' r ' ( s '+ s )]
= [ p ' q ' r '+ p ' qr ' ] + [ p ' r ' s + p ' rs ] + [ p ' qr ] + [ p ' q ' r '+ pq' r ' ]
= [ p ' r ' (q '+ q )] + [ p ' s (r '+ r )] + [ p ' qr ] + [q ' r ' ( p '+ p )]
= p ' r '+ p ' s + p ' qr + q ' r ' = p ' (r '+ s + qr ) + q ' r

d ( p, q, r , s ) =  (0,2,3,5,6,8,9) = m0 + m2 + m3 + m5 + m6 + m8 + m9
= p ' q' r ' s '+ p' q ' rs '+ p' q ' rs + p' qr' s + p' qrs'+ pq' r ' s '+ pq' r ' s
= [ p ' q' r ' s '+( p ' q' rs ' )] + ( p ' q' rs '+ p ' q ' rs ) + p ' qr' s + [ p ' qrs'+( p ' q' rs ' )] + ( pq' r ' s '+ pq' r ' s )
= p ' q' s ' (r '+ r ) + p' q ' r ( s '+ s ) + p' qr' s + p' rs ' (q + q ' ) + pq' r ' ( s '+ s )
= p ' q' s '+ p ' q ' r + p' qr' s + p ' rs '+ pq' r ' = p'[q ' ( s '+ r ) + (qr' s + rs ' )] + pq' r '

e( p, q, r , s ) =  (0,2,6,8) = m0 + m 2 + m6 + m8
= p' q' r ' s '+ p' q' rs '+ p' qrs'+ pq' r ' s '
= ( p ' q' r ' s '+ pq' r ' s ' ) + ( p' q ' rs '+ p ' qrs' )
= q' r ' s ' ( p + p' ) + p' rs ' (q '+ q )
= q' r ' s '+ p ' rs ' = s ' (q' r '+ p ' r )
f ( p, q, r , s ) =  (0,4,5,6,8,9) = m0 + m 4 + m5 + m6 + m8 + m9
= p ' q ' r ' s '+ p ' qr ' s '+ p ' qr ' s + p ' qrs'+ pq' r ' s '+ pq' r ' s
= [ p ' q ' r ' s '+( pq' r ' s ' )] + ( p ' qr' s '+ p' qr' s ) + [ p ' qrs'+( p ' qr' s ' )] + ( pq' r ' s '+ pq' r ' s )
= q ' r ' s ' ( p'+ p ) + p ' qr' ( s '+ s ) + p ' qs' (r + r ' ) + pq' r ' ( s '+ s )
= q ' r ' s '+ p ' qr'+ p ' qs'+ pq' r ' = p ' q (r '+ s ' ) + q ' r ' ( s '+ p )
g ( p, q, r , s ) =  (2,3,4,5,6,8,9) = m 2 + m3 + m 4 + m5 + m6 + m8 + m9
= p ' q ' rs '+ p ' q ' rs + p ' qr' s '+ p ' qr' s + p' qrs'+ pq' r ' s '+ pq' r ' s
= ( p ' q ' rs '+ p ' q ' rs ) + ( p ' qr ' s '+ p ' qr' s ) + [ p' qrs'+( p' qr' s ' )] + ( pq' r ' s '+ pq' r ' s )
= p ' q ' r ( s '+ s ) + p ' qr ' ( s '+ s ) + p ' qs' (r + r ' ) + pq' r ' ( s '+ s )
= p ' q ' r + p ' qr'+ p ' qs'+ pq' r ' = p ' q ' r + p ' q (r '+ s ' ) + pq' r '

a( p, q, r , s ) = p' (r + qs) + q ' r ' ( p + s ' )

b( p, q, r , s ) = p'[r (q'+ s ) + r ' s ' ] + q ' r '
c( p, q, r , s ) = p' (r '+ s + qr) + q' r '
d ( p, q, r , s ) = p'[q ' ( s '+ r ) + (qr' s + rs ' )] + pq' r '
e( p, q, r , s ) = s ' (q ' r '+ p' r )
f ( p,´, q, r , s ) = p' q (r '+ s ' ) + q' r ' ( s '+ p )
g ( p, q, r , s ) = p ' q' r + p' q (r '+ s ' ) + pq' r '
 MAPAS DE KARNAUGH

Dos variable

y
0 1

m0 m1 0 x' y ' x' y

m2 m3 x 1 xy' xy

Tres variables

yz y
x 00 01 11 10

m0 m1 m3 m2 0 x' y ' z ' x' y ' z x' yz x' yz '

m4 m5 m7 m6 x 1 xy' z' xy' z xyz xyz '
z

Cuatro variables

r
00 01 11 10

m0 m1 m3 m2 00 p' q' r ' s' p' q' r ' s p' q' rs p' q' rs '
m4 m5 m7 m6 01 p' qr' s' p' qr ' s p' qrs p'qrs'
q
m12 m13 m15 m14 11 pqr' s' pqr' s pqrs pqrs'
p
m8 m9 m11 m10 10 pq' r ' s' pq' r ' s pq' rs pq'rs'
s
 a( p, q, r , s) =  (0,2,3,5,6,7,8,9) = m0 + m2 + m3 + m5 + m6 + m7 + m8 + m9
rs r
pq 00 01 11 10
00
1 1 1
m0 m1 m3 m2
01
m4 m5 m7 m6 1 1 1

11 q
m12 m13 m15 m14
p 10
m8 m9 m11 m10 1 1

a( p, q, r , s) = rp'+ p' qs + pq' r '+q' r ' s' = p' (r + qs) + q' r ' ( p + s' )

b( p, q, r , s) =  (0,1,2,3,4,7,8,9) = m0 + m1 + m2 + m3 + m4 + m7 + m8 + m9

rs r
pq 00 01 11 10
00
1 1 1 1
m0 m1 m3 m2
01
m4 m5 m7 m6 1 1

11 q
m12 m13 m15 m14
p 10
m8 m9 m11 m10 1 1

b( p, q, r , s) = p' q'+r ' q'+r ' p' s'+rp' s

c( p, q, r , s) =  (0,1,3,4,5,6,7,8,9) = m0 + m1 + m3 + m4 + m5 + m6 + m7 + m8 + m9

rs r
pq 00 01 11 10
00
1 1 1
m0 m1 m3 m2
01
m4 m5 m7 m6 1 1 1 1

11 q
m12 m13 m15 m14
p 10
m8 m9 m11 m10 1 1

c( p, q, r , s) = p' r '+ p' s + p' qr + q' r ' = p' (r '+ s + qr) + q' r '

d ( p, q, r , s) =  (0,2,3,5,6,8,9) = m0 + m2 + m3 + m5 + m6 + m8 + m9

rs r
pq 00 01 11 10
00
1 1 1
m0 m1 m3 m2
01
m4 m5 m7 m6 1 1

11 q
m12 m13 m15 m14
p 10
m8 m9 m11 m10 1 1

d ( p, q, r , s) = p' q' r + p' q' s'+ p' rs '+ pq' r '+ p' qr' s
e( p, q, r , s ) =  (0,2,6,8) = m0 + m2 + m6 + m8
= p' q' r ' s'+ p' q' rs '+ p' qrs'+ pq' r ' s'

rs r
pq 00 01 11 10
00
1 1
m0 m1 m3 m2
01
m4 m5 m7 m6 1

11 q
m12 m13 m15 m14
p 10
m8 m9 m11 m10 1

e( p, q, r , s) = p' rs '+q' r ' s'

f ( p, q, r , s) =  (0,4,5,6,8,9) = m0 + m4 + m5 + m6 + m8 + m9
= p' q' r ' s '+ p' qr' s '+ p' qr' s + p' qrs'+ pq' r ' s'+ pq' r ' s

rs r
pq 00 01 11 10
00
1
m0 m1 m3 m2
01
m4 m5 m7 m6 1 1 1

11 q
m12 m13 m15 m14
p 10
m8 m9 m11 m10 1 1

f ( p, q, r, s) = p' r ' s'+ p' qr'+ pq' r '+ p' qs'

g ( p, q, r , s ) =  (2,3,4,5,6,8,9) = m2 + m3 + m4 + m5 + m6 + m8 + m9
= p' q' rs '+ p' q' rs + p' qr' s '+ p' qr' s + p' qrs'+ pq' r ' s'+ pq' r ' s

rs r
pq 00 01 11 10
00
1 1
m0 m1 m3 m2
01
m4 m5 m7 m6 1 1 1

11 q
m12 m13 m15 m14
p 10
m8 m9 m11 m10 1 1

e( p, q, r , s) = p' qr'+ pq' r '+ p' q' r + p' rs '

a( p, q, r , s ) = p' (r + qs) + q ' r ' ( p + s ' )

b( p, q, r , s ) = p'[r (q'+ s ) + r ' s ' ] + q ' r '
c( p, q, r , s ) = p' (r '+ s + qr) + q' r '
d ( p, q, r , s ) = p'[q ' ( s '+ r ) + (qr' s + rs ' )] + pq' r '
e( p, q, r , s ) = s ' (q ' r '+ p' r )
f ( p,´, q, r , s ) = p' q (r '+ s ' ) + q' r ' ( s '+ p )
g ( p, q, r , s ) = p ' q' r + p' q (r '+ s ' ) + pq' r '
Relación de Equivalencia:

• Reflexiva xRx, x  A
• Simétrica xRy  yRx
• Transitiva. xRy & yRz implica xRz, x, y, z  A

S = {1,2,3,4,5} y sea A= SS

Defina (a, b) R(a ' , b' ) ssi ab' = a ' b
i. Re flexividad
ab = ab  (a, b) R(a, b)
ii. Simetría
(a, b) R(a ' , b' )  ab' = a ' b  a ' b = ab'  (a ' b' ) R(a, b)
iii. Transitividad
de
(a, b) R(c, d ) & (c, d ) R(e, f )  ad = bc & cf = de  f =
c
de ade bce
.  af = a = = = be
c c c
.  af = be  (a, b) R(e, f )  R es de Equivalencia
Las clases de equivalencia son :
[(1,1)] = {(1,1)( 2,2)(3,3)( 4,4)(5,5)} [(3,1)] = {(3,1)} [(5,2)] = {(5,2)}
[(1,2)] = {(1,2)( 2,4)} [(3,2)] = {(3,2)} [(5,3)] = {(5,3)}
[(1,3)] = {(1,3)} [(3,4)] = {(3,4)} [(5,4)] = {(5,4)}
[(1,4)] = {(1,4)} [(3,5)] = {(3,5)}
[(1,5)] = {(1,5)} [( 4,1)] = {(4,1)}
[( 2,1)] = {(2,1)( 4,2)} [( 4,3)] = {(4,3)}
[( 2,3)] = {(2,3)} [( 4,5)] = {(4,5)}
[( 2,5)] = {(2,5)} [(5,1)] = {(5,1)}