Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoremas y Postulados Del Algebra de Boole
Teoremas y Postulados Del Algebra de Boole
Postulado 2
Postulado 5
Teorema 1
Teorema 2
Teorema 3 involucin
Teorema 3 conmutativo
Teorema 4 asociativo
Postulado 4 distributivo
Teorema 5 morgan
Teorema 6 absorcin
a) x + 0 = x
b) x . 1 = x
a) x + x = 1
b) x . x = 0
a) x + x = x
b) x . x = x
a) x + 1 = 1
b) x . 0 = 0
(x) = x
a) x + y = y + x
b) xy = yx
a) x + (y + z) = (x + y) +z
b) x (yz) = (xy) z
a) x (y + z) = xy +xz
b) x + yz = (x + y)(x+z)
a) ( x + y) = x y
b) (xy) = x + y
a) x + xy = x
b) x (x + y) = x
Ejemplos:
x+x=x
x + x = (x + x) . 1
x + x = (x + x) (x + x)
x + x = x + xx
x+x=x+0
x+x=x
x + xy = x
x . 1 + xy = x
x (1 + y) = x
x (y + 1) = x
x (1) = x
x=x
x y z F1 F2 F3 F4
00 0 0 0 1 0
00 1 0 1 0 0
01 0 1 0 0 0
01 1 1 1 1 1
10 0 1 0 0 1
10 1 0 0 1 1
11 0 1 1 1 1
11 1 0 1 0 1
Manipulacin algebraica
Cuando una funcin se incrementa con compuertas lgicas, cada literal en la funcin
denota una entrada a una compuerta.
1. Cada literal denota la entrada a una compuerta.
2. Cada termino se implanta con una compuerta.
Por el momento nos limitaremos a la minimizacin por literales. Por lo cual debe
quedar muy claro que en la manipulacin algebraica no hay reglas especificas a seguir a
que garanticen la respuesta final.
Ejemplo: Reducir las siguientes funciones booleanas.
1. x (x+y) = xx + xy = xy
2. xyz + xyz + xy = xz (y+y) + xy = xz + xy
3. x + xy = (x+x)(x+y) = x+y
Complemento de una funcin.
El complemento de una funcin F es F obteniendose por el intercambio de 1s y 0s
y de 0s y 1s.
Ejemplo:
(A+B+C) = (A+X) para X = B+C
A . X ? A . (B+C) ? A . B .C
(A+B+C+D+E+F+..I)
(A.B.C.D.E.F.I)
= ABD(C+C) = ABCD+ABCD
BD = BD(A+A)
= ABD+ABD
= ABD(C+C) = ABCD+ABCD
= ABD(C+C) = ABCD+ABCD
BD = BD(A+A)
= ABD+ABD
= ABD(C+C) = ABCD+ABCD
= ABD(C+C) = ABCD+ABCD
F=
ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD