Álgebra de Boole
Álgebra de Boole
Álgebra de Boole
Álgebra de Boole
Ing. Jorge H. Fuchs
Introducción
Objetivos de la clase:
Principio de Dualidad
P1) Conmutatividad
P1a) A+B=B+A
P1b) A•B=B•A
P2) Distributividad
P2a) A • (B + C) = (A • B) + (A • C)
P2b) A + (B • C) = (A + B) • (A + C)
P4) Complemento
P4a) A+Ā=1
P4b) A•Ā=0
Teoremas o Propiedades
T1) Idempotencia
T1a) A+A=A
Demostración:
T1b) A•A=A
Demostración:
T2a) A+1=1
T2b) A•0=0
Teoremas o Propiedades
T4) Absorción
T4a) A+A•B=A
T4b) A • (A + B) = A
T5) Asociatividad
T5a) A + (B + C) = (A + B) + C
T5b) A • (B • C) = (A • B) • C
Teoremas o Propiedades
______
Una función lógica booleana es una expresión formada por variables lógicas
binarias y operaciones lógicas (OR, AND, NOT).
Para conocer el valor de Z para diferentes valores de las variables A, B y C
se genera la tabla de verdad de la función. Para n variables tiene 2n filas.
Un ejemplo de función booleana Z = f(A,B,C) sería: Z = A + B • C.
A
Operaciones y Compuertas lógicas
Leyes de De Morgan
_____
_____
Corolarios:
______
______
Operaciones NOT:
Z = NOT(A) = 01011001
Z = NOT(A + B) = 01000001
Proposiciones y Funciones lógicas
Z=A+B•C Z = (A + B) • (A + C)
Formas normales o canónicas
Maxitérmino (M): Es una suma lógica (OR) en la cual figuran todas las
variables lógicas de la función. Estas variables pueden estar o no negadas.
Toda función lógica se puede representar por sus FN. (¿pero es la mínima?)
Formas normales o canónicas
FND (SPm): En las filas donde la función vale 1 se forma el producto de todas
las variables, remplazando los 0’s por su respectiva variable negada, y los 1’s
por su correspondiente variable sin negar. Luego se realiza la suma lógica de
los minitérminos así determinados. El número de minitérminos será igual al
número de 1’s en la TV de la función.
A B C Z
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
Formas normales o canónicas
Sin embargo, solo trabajaremos con las FND (SPm) como la vista en la hoja
anterior.
Minimización mediante Álgebra de Boole
A B C Z
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
Conclusiones