Expresiones Booleanas
Expresiones Booleanas
Expresiones Booleanas
3 Expresiones Booleanas
Postulado 1. Definición.
El algebra Booleana es un sistema algebraico definido
en un conjunto B, el cual contiene 2 o más elementos y
entre los cuales se definen 2 operaciones “operación
OR” (+) y “operación AND” (●), las cuales cumplen
con las siguientes propiedades:
Postulado 2. Existencia de Neutros.
Existe en B el elemento neutro de la suma,
denominado “cero” (0) y el neutro de la multiplicación,
denominado “uno” (1), tales que cualquier elemento x:
x + 0 =x
x ● 1 =x
Postulado 3. Conmutatividad.
Para cada x, y en B:
x+y=y+x
x y = yx
Postulado 4. Asociatividad.
Para cada x, y, z en B
x + (y+z) = (x+y) +z
x (y z) = (x y) z
Postulado 5. Distributividad.
Para cada x, y, z en B:
x + (y z) = (x+y) (x+z)
x(y + z) =(x y) + (x z)
Postulado 6. Existencia de Complementos.
Para cada x en B existe un elemento único denotado 𝑥
(también denotado x’), llamado complemento de x tal
que
x+𝑥=1
x𝑥 =0
Teoremas
Axiomas básicos
0*0=0 1+1=1
0*1=0 1+0=1
1*0=0 0+1=1
1*1=1 0+0=0
0’ = 1 1’=0
0’’=0 1’’=1
Teoremas de múltiples variables
Ley Conmutativa
x+y=y+x
dual x*y=y*x
Ley asociativa
x+y+z = x+(y+z)=(x+y)+z
Dual xyz = x(yz) = (xy)z
Ley distributiva (Factorización)
x(y+z)=xy+xz
Dual x+yz = (x+y)(x+z)
(w+x)(y+z) = wy + wz +xy+xz
Dual wx + yz = (w+y)(w+z)(x+y)(x+z)
xy+xy’=x
Dual (x+y)(x+y’)=x
Consenso
xy+x’z+yz=xy+x’z
Dual (x+y)(x’+z)(y+z)=(x+y)(x’+z)
CIRCUITOS DE CONMUTACIÓN
Forma generalizada:
[F(x1, x2, …, xn, +,*)]’ = F(x1’, x2’, …, xn’, *,+)
[F(x1, x2, …, xn)]’ = FD(x1’, x2’, …, xn’)
Resumen de Teoremas
Distributiva: x(y+z) = xy + xz
x+yz = (x+y)(x+z)
(w+x)(y+z) = wy + wz + xy + xz
wx + yz = (w+y)(w+z)(x+y)(x+z)
Cubierta: x +xy = x
x(x+y) = x
Combinación: xy + xy’ = x
(x+y)(x+y’) = x
x + x’y = x + y
x(x’+y) = xy
Consenso: xy + x’z + yz = xy + x’z
(x+y)(x’+z)(y+z) = (x+y)(x’+z)
DeMorgan: (xy)’ = x’ + y’
(x+y)’ = x’y’