Teoremas Del Algebra de Boole

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 5

Teoremas del Algebra de Boole

Teorema 1.
El elemento complemento A negado es nico
Teorema 2.
Elementos Nulos. El elemento A se vuelve nulo en el caso de OR cuando
este se suma a 1, por eso tenemos A + 1 igual a 1 en el caso de A
tenemos A 0 igual a 0
A+1=1
A0=0
Demostracion.
A+1 = 1(A+1) = (A+A)(A+1) = A + A1 = A + A = 1
A0 = A0+0 = A0 + AA = A(A+0) = AA = 0
Teorema 3.
Elementos neutros. El elemento neutro en el caso del OR es 0 puesto
que A ms 0 es igual a A, y el elemento neutro en el caso de AND es 1
puesto que A 1 es igual A
A+0=A
A 1= A
Teorema 4.
Cuando se niega un 0 este se convierte en 1, y cuando se niega 1 este
se convierte en 0
0 = 1
1 = 0
Teorema 5.
Idempotencia. Si tenemos A ms A esto es simplemente igual a A, al
igual que A A es simplemente igual a A
A+A=A
AA=A
Demostracion.

a + a = a + a 1 = a + a (a + a) = a + a a + a a = a (1 + a) = a
1=a
a a = a a + 0 = a a + a a = a(a + a) = a1 = a
Teorema 6.
Identidad. Si tenemos A mas A negado, es decir su inversa el resultado
ser 1, y si tenemos A multiplicado por A negado el resultado ser 0.
A + A = 1
A A = 0
Teorema 7.
Involucin. Para cada elemento de a, se verifica que el complemento del
complemento de a es a, es decir, (a) = a . Si tenemos A negado dos
veces esto ser igual A, puesto que una verdad negada y luego negada
otra vez sigue siento una verdad. Y tenemos A negada tres veces esto es
igual a A negada

Demostracion.
a + (a) = 1 = a + a = a + a > a = (a)
a (a) = 0 = a a = a a> a = (a)
Teorema 8.
Absorcin. Si tenemos la suma de A ms el producto de A negado por B
esto ser igual a A ms B. Si tenemos A negado ms el producto de A
por B esto ser igual A negado ms B es decir la A que esta antes del
signo ms de la suma con el elemento que esta al lado de la A contraria
multiplicando.

Teorema 9.
Asociatividad. Cada uno de los operadores binarios +
propiedad asociativa:

cumple la

A+(B+C) = (A+B)+C
A(BC) = (AB)C
Teorema 10.
Teorema de la Simplificacion
A+AB=A+B
A (A + B ) = A B
Demostracion
A A=0
AA+ B=B
Teorema 11 o (Leyes de DeMorgan)
(A + B ) (A + B ) = B
A (A + B ) (A + B ) = Para cada par de elementos, a y b, se
A (A + B ) = A B
verifica
(a

+ b) = a b

(a b) = a + b
Demostracion
Se comprobar si se satisface el cuarto postulado
a + b + (a + b) = a + b + a b = a + a b + b + b a =
= a + b + b + a = a + a + b + b = 1 + 1 = 1
(a + b) (a b) = a a b + b b a = b 0 + 0 a = 0 + 0 = 0
a b + (a b) = a b + a + b = a b + a + a b + b =
= a + a + b + b = 1 + 1 = 1
a b (a + b) = a a b + a b b = 0 b + a 0 = 0 + 0 = 0

Teorema 12.
(o Leyes de DeMorgan generalizadas) Para cualquier conjunto de
elementos se verifica:

Teorema 13.
(o Teorema de asociatividad) Cada uno de los operadores binarios (+) y
() cumple la propiedad asociativa, es decir, para cada tres elementos, a,
b y c, se verifica

Teorema 14.
para cada par de elementos de B, se verifica:
A + AB = A + B
A (A + B) = A B

Expresiones de Conmutacion
Algunas Definiciones
Literal: Es toda ocurrencia de una variable, ya sea complementada o sin
complementar, en una expresion de conmutacion.
Por ejemplo, en la expresion de conmutacion:
AB+CA+D+B1
A, B , C y D son Variables.
A, B , C , A, D y B son Literales.
1 es una Constante.
Expresin Dual: Esta expresin se obtiene, intercambiando las
operaciones AND por OR (y vice versa), e intercambiando las constantes
0 por 1 y 1 por 0 en la expresin de
Conmutacin.

Por ejemplo, para la expresin de conmutacin:

(A B) + (C D) + 0

La Expresin Dual es:

(A + B) (C + D) 1

Funciones de conmutacion
-Las funciones de conmutacion se pueden expresar: de Forma
Algebraica, mediante una Tabla de Verdad o en Forma Canonica.
-La manera mas didactica de representar una funcion de conmutacion
es mediante una Tabla de Verdad, ya que en ella se muestran los valores
de salida para cada combinacion de valor de entrada.
-Las Tablas de Verdad permiten modelar los Sistemas Combinacionales.
.
Bibliografia
https://www.youtube.com/watch?v=f4Dss5wTjlo
http://www.uhu.es/raul.jimenez/DIGITAL_I/dig1_ii.pdf

También podría gustarte