You are on page 1of 10

UNIVERSIDAD ALEJANDRO DE HUMBOLDT

Curso Pre Ingreso 2010-3


Sede “Andrés Bello”

ALGEBRA DE BOOLE

Preparada por:
Diaz Machado, Geraldine Giselle
Sección: N2PREII

Caracas, Venezuela
2010
ALGEBRA DE BOOLE

Propiedades Según Sus Operadores

Numéricos ó Aritméticos

Conmutativa
Se dice que un operador binario es conmutativo si, para todos los posibles
valores de a y b, verifica:

Distributiva
Dos operadores binarios (+) y (·) son distributivos si para todos los valores
posibles de a, b, y c verifica:

Identidad o Elemento Neutro


Posee dos elementos neutros, el 0 y el 1, que cumplen la propiedad
identidad con respecto a la suma y producto lógico:

Inversa o Negación
Un valor booleano a es un elemento inverso con respecto a un operador
booleano si cumple:
Lógicos
Negación
Invierte el valor de verdad de una variable proposicional.

Disyunción
La sentencia será verdadera cuando una o ambas variables proposicionales
sean verdaderas.

Conjunción
La sentencia será verdadera sólo cuando ambas variables proposicionales
sean verdaderas.

Condicional
Sentencia será falsa cuando se cumpla que es válido p, pero NO lo es q, en
el resto de los casos la sentencia es verdadera.

Bicondicional
La sentencia será verdadera cuando ambas variables proposicionales sean
iguales: ambas falsas o ambas ciertas.

Disyunción exclusiva
La sentencia será verdadera cuando ambas variables preposicionales sean
diferentes la una de la otra; una cierta y otra falsa.
Tautología
Una proposición compuesta es lógicamente verdadera o tautológica cuando
es verdadera siempre, independientemente de los valores de verdad de las
proposiciones simples quela forman.

Contradicción
La contradicción es una proposición compuesta que es falsa
independientemente de los valores de verdad de las proposiciones que la formen.

Contingencia
La contingencia: es la combinación de la tautología y la contradicción.

Relacionales

Los operadores relacionales determinarán la relación de la expresión de la


izquierda con la de la derecha (binarios). El resultado de esta evaluación regresa
el valor de falso o verdadero, donde falso es igual a cero y verdadero es igual a 1.
No todos los operadores relacionales están al mismo nivel de precedencia
entre ellos. En una operación o fórmula se pueden mezclar tanto operadores
aritméticos como relacionales, pero los operadores relacionales tienen menor
precedencia que los operadores de suma y resta pero mayor que el operador de
asignación.

OPERADOR PRECEDENCIA
() Mayor
*, / , %
+, -
<, >, <=, >=
==, !=
= Menor

Otros Teoremas del Algebra de Boole

Teorema. Multiplicación por cero

a) A.0 = 0
b) A+1 = 1
Demostración de (a):
Explicación
A. 0 = A.0 + 0 0 es el neutro de la suma
= A.0 + A.A El producto de una variable por su complemento da 0
= A.(0 + A) Distributividad
= A.(A) Una variable más el neutro no se altera
=0 Una variable por su complemento da 0

Nota: De aquí en adelante, el símbolo de multiplicación (.) se omitirá en ocaciones


por comodidad, así por ejemplo A.B se escribirá AB, o bien, (A+B).(C+D) se
escribirá (A+B)(C+D) siendo diferente de A+B.C+D, lo cual se escribirá A+BC+D.

Teorema. Cancelación
a) AB + A B = B
b) (A+B)( A +B)=B
Demostración (a):
Explicación
AB + A.B = (A+ A )B Distributividad
= 1.B Suma de una variable con su complemento es 1
=B 1 es el neutro del producto

Teorema. Consenso
a) AB + AC + BC = AB + AC
b) (A+B)( A+C)(B+C) = (A+B)( A+C)
Demostración del inciso (a)
Explicación
AB + A +C + BC = AB + A C + BC(A + A ) A +A es el neutro de la multiplicación
= AB + A C +ABC + A BC Distributividad
= (AB +ABC) + A C + A BC) Conmutatividad y asociatividad
= AB + A C Absorción

La clave para usar este teorema es encontrar dos términos que contengan
una expresión en uno afirmada y en otro negada, anotar los términos con los que
están multiplicando uno y otro y buscar otro elemento que sea la multiplicación de
estos últimos dos, éste último elemento es el que se puede eliminar.
Principio de Dualidad

Cada identidad deducida de los anteriores postulados del álgebra de boole,


permanece valida si la operación (+) y (*), y los elementos 0 y 1 se intercambian
entre sí. Este principio, llamado la dualidad, se deduce inmediatamente de la
simetría de los cuadros postulados con respecto a ambas operaciones y ambos
elementos neutros:

Por cada elemento a del álgebra del boole se verifica:


a+1 = 1
a*0= 0

Por cada elemento a de álgebra de boole se verifica:


a+a = a
a*a= a

Por cada par de elementos del álgebra de boole a y b se verifica:


a+a*b = a
a(a+b)= a

Si una expresión booleana es verdadera, su expresión dual también lo es.


Dos expresiones se dicen duales una de la otra, si una, se puede obtener de la
otra, cambiando las operaciones ( + ) por ( * ) y viceversa. Es decir, Se puede
pasar de una propiedad a otra análoga.
Demostración del Teorema de Absorción
Haciendo Uso de las Propiedades de los Operadores lógicos

Demostración 1
a+ ( a∗b )=a a ( 1+b )=a Factor ComúnRegla de la
a ( 1 )=a UnidadRegla de la Unidad
a=a

Demostración 2
a+ ( á∗b )=a+b ( a+ á )∗(a+ b)=a+b DistributivaComplementaciónRegla
1∗(a+ b)=a+ b de la Unidad
a+ b=a+b

Demostración 3
á+ ( a∗b )=á+b ( á+ a )∗( á+ b)=á+b DistributivaComplementaciónRegla
1∗( á+ b)=á+ b de la Unidad
á+ b=á+b

Demostración 4
(a∗b)+ ( a∗b́ )=a

( aa )+ ( a b́ ) + ( ab ) +(b b́)=a DistributivaComplementación e


IdempotenciaFactor Común y Regla
a+ ( a b́ ) + ( ab ) +0=aa ( 1+ b́+ b ) =a
del Cero
a ( 1+b )=aa=a Complementación

Regla de la Unidad
Demostración del teorema De Morgan
Haciendo Uso de las Tablas de Verdad

Demostración 1
´ ´
a∗b=á+ b́a ∧ b= á∨ b́

a b a∧b á b́ á ∨ b́ ´
á ∨ b́
v V V F F F V
V F F F V V F
F V F V F V F
F F F V V V F

Demostración 2
´ ´
a+ b= á∗ b́a ∨ b= á∧ b́

a b a∨b á b́ á ∧ b́ ´
á ∧ b́
v V V F F F V
V F V F V F V
F V V V F F V
F F F V V V F
REFERENCIAS

 Anónimo (2009). Álgebra de Boole y Funciones. [Documento en Línea].


Disponible: http://ocw.ucv.ve/facultad-de-ingenieria/logica-digital-
6/materiales/algebradecooleyfuncioneslogica.pdf [Consulta: 2010, Marzo
06]

 Cruz Ortega, M. (2008). Algebra de Boole [Resumen en Línea].


Disponible: www.xente.mundo-r.com/afimar/Algebra_de_Boole.pdf
[Consulta: 2010, Marzo 06]

 Laboratorio de Computación. Facultad de Ingeniería Eléctrica. [Página


Web en Línea]. Disponible: http://lc.fie.umich.mx/~jrincon/elec3-cap4.pdf
[Consulta: 2010, Marzo 06]

 Romero Ortiz, j. (2009). Boole y el Álgebra [Documento en Línea].


Disponible: http://www.scribd.com/doc/955557/Boole-y-el-algebra [Consulta:
2010, Febrero 04]

 Espacio del Conocimiento.[Página Web en Línea]. Disponible:


http://www.espaciodelconocimiento.com/LENUNIDAD1.pdf [Consulta:
2010, Febrero 04]

You might also like