ALGEBRA DE BOOLE

ALGEBRA DE BOOLE
Proporciona una notacin para describir
funciones lgicas y define un nmero de
operaciones que se pueden realizar con el fin de
simplificarlas.
El lgebra de Boole define variables, constantes
y funciones para describir sistemas binarios, y
una serie de teoremas que permiten manipular
expresiones lgicas.

ALGEBRA DE BOOLE
Constantes booleanas: Se definen dos: 0 (estado FALSO) y
1 (estado VERDADERO).
Variables booleanas: Son magnitudes que pueden tomar
diferentes valores en diferentes momentos. Pueden
representar seales de entrada o de salida y reciben
nombres de caracteres alfabticos como: A,B,X,Y. Slo
pueden tomar los valores 0 o 1.
Funciones booleanas: Describen el comportamiento del
sistema. Cada operacin lgica (suma, multiplicacin,
negacin, .) posee una notacin en el lgebra booleana.

LGEBRA DE BOOLE
(Propiedades)

LGEBRA DE BOOLE
(Propiedades)

LGEBRA DE BOOLE
(Teoremas)
Derivados de las propiedades fundamentales,
existen una serie de teoremas.

LGEBRA DE BOOLE
(Teoremas)

Ley de De Morgan
(Ejemplos)

SIMPLIFICACIN DE FUNCIONES
Propiedades del lgebra de Boole: Se denomina
mtodo analtico de simplificacin de funciones.
Hay que conocer muy bien estas propiedades
para poder eliminar la mayor cantidad de
trminos y variables.
Mtodo de Karnaugh: Es un mtodo grfico que
si lo aplicamos bien, nos garantiza que
obtendremos la funcin ms simplificada, a partir
de una tabla de verdad.

FORMAS CANNICAS

FORMAS CANNICAS
A partir de una tabla de verdad, podemos obtener
mltiples expresiones para la misma funcin. Todas
esas expresiones son equivalentes y podemos
obtener unas expresiones de otras aplicando las
propiedades del lgebra de Boole.
Existen dos tipos de expresiones que se obtienen
directamente de la tabla de verdad, de forma
inmediata. Se denominan formas cannicas. Se
caracterizan porque en todos los trminos de estas
expresiones aparecen todas las variables.

PRIMERA FORMA CANNICA

(Minterms)
Una funcin que est en la primer forma
cannica se caracteriza porque est formada
por sumas de productos. Y recordemos que por
se una forma cannica, en todos sus trminos se
encuentra todas sus variables.
Un ejemplo de una funcin de 3 variables,
expresada en la primera forma cannica es la
siguiente:

PRIMERA FORMA CANNICA

La obtencin de la primera forma cannica, a
partir de una tabla de verdad es inmediato. El
proceso se denomina desarrollo de la tabla de
verdad por unos.

PRIMERA FORMA CANNICA

(Regla)
Tomamos la tabla de verdad y slo nos fijamos
en las filas que la funcin vale 1, olvidndonos
del resto. Por cada una de estas filas tendremos
un sumando, constituido por el producto de
todas las variables.
Si una variable est a 0, en la fila escogida,
usaremos la variable negada, y si est a 1
usaremos la variable sin negar.

EJEMPLO
Obtener la primer forma cannica, a partir de la
siguiente tabla de verdad:

NOTACIN

SEGUNDA FORMA CANNICA

(Maxterms)
Una funcin en la segunda forma cannica se
caracteriza porque est formada por un producto
de sumas. Y en todos sus trminos deben aparecer
todas sus variables, bien negadas o no.
Ejemplo:

Est constituida por dos trminos que van

multiplicados, y cada uno de ellos est formado por
sumas.

SEGUNDA FORMA CANNICA

La obtencin de la segunda forma cannica, a
partir de una tabla de verdad es inmediato. El
proceso se denomina desarrollo de la tabla de
verdad por ceros.

SEGUNDA FORMA CANNICA

Tomamos la tabla de verdad y slo nos fijamos
en las filas en las que la funcin vale 0,
olvidndonos del resto. Por cada una de estas
filas tendremos un trmino, constituido por la
suma de todas las variables.

Si una variable est a 1, en la fila escogida,

usaremos la variable negada, y si est a 0
usaremos la variable sin negar.

EJEMPLO
Obtener la segunda forma cannica, a partir de la
siguiente tabla de verdad:

NOTACIN