Professional Documents
Culture Documents
ALGEBRA DE BOOLE
Preparada por:
Diaz Machado, Geraldine Giselle
Sección: N2PREII
Caracas, Venezuela
2010
ALGEBRA DE BOOLE
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:
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
OPERADOR PRECEDENCIA
() Mayor
*, / , %
+, -
<, >, <=, >=
==, !=
= Menor
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
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
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
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