Algebra de Boole

Descargar como pptx, pdf o txt
Descargar como pptx, pdf o txt
Está en la página 1de 25

INSTITUTO UNIVERSITARIO DE TECNOLOGA DEL

MAR
COORDINACIN DE ELECTRICIDAD DE ELCTRICA
ELECTRNICA II

FUNCIONES LGICAS
ALGEBRA DE BOOLE
SAN FLIX, MARZO DE 2016

FUNCIONES LGICAS
En una funcin lgica las variables son lgicas, es
decir, solo pueden tomar valores de verdadero o falso,
en electrnica digital esto se traduce a uno 1 y cero
0 respectivamente.

LGEBRA DE BOOLE
Es una serie de propiedades, postulados y teoremas
matemticos que se emplean en electrnica digital,
una de su aplicacin es usarla como una tcnica para
simplificar funciones lgicas.

PROPIEDADES
1.

Se definen los operadores suma + (OR) y multiplicacin


(AND) como lgicos.
A+B AB

2. Se define el operador negacin o complemento (NOT).

(A) = A

3. Las operaciones suma y multiplicacin son conmutativas.

A+B=B+A AB=BA

PROPIEDADES
4. Las

operaciones suma y multiplicacin


asociativas
A + (B + C) = (A + B) + C
A(BC) = (AB)C

son

5. Cada expresin es distributiva con respecto a la

otra.
A + (B C) = (A + B)(A + C)
A (B + C) = A B + A C

POSTULADOS
Suma

Multiplicacin

0+0=0

00=0

0+1=1

01=0

1+0=1

10=0

1+1=1

1.1=1

x+0=x

x.0=0

x+1=1

x.1=x

x+x=x

x.x=x

x + x =1

x . x =0

TEOREMAS

Tabla #1: Teoremas

FORMAS DE EXPRESAR UNA FUNCIN LGICA

Suma de productos
Representa donde la funcin lgica es verdadera o
tiene como valor un uno lgico.
Ejemplo:

Los trminos de la funcin expresada en suma de


productos reciben el nombre de mintrminos.

FORMAS DE EXPRESAR UNA FUNCIN LGICA


Productos de suma
El producto de suma representa donde la funcin lgica es
falsa o tiene como valor un cero lgico, como por ejemplo:

Los trminos de la funcin expresada en productos de


suma reciben el nombre de maxterminos.

FORMA CANNICA
Suma de productos
Si en la suma de productos o en los productos de
suma se obliga a que aparezcan todas las variables de
la funcin en cada trmino se dice que la funcin esta
representada en su forma cannica. La forma cannica
para la suma de productos ser:

FORMA CANNICA
Productos de suma
La forma cannica para los productos de suma ser:

MINTERMINOS
Cuando una funcin esta expresada en su forma
cannica en suma de productos, cada trmino de esa
funcin equivale a un mintermino, que no es mas que
un nmero binario o decimal, este numero binario se
obtiene de colocar cada variable dentro del termino que
este negada en cero y las que no en uno, ese conjunto de
ceros y unos equivale a un numero binario.

MINTERMINOS
Maxterminos
Representan un nmero binario o decimal, este
numero binario se obtiene de la forma cannica de
una funcin expresada en productos de suma
colocando cada variable dentro del termino que
este negada en uno y las que no en cero, ese
conjunto de ceros y unos equivale a un numero
binario.

MINTERMINOS
Maxterminos

Cuando se evala la funcin para cada


maxtermino, de los maxterminos que ella
representa la funcin siempre valdr cero, es decir
si se evala la funcin anterior para los trminos 1
o 2 o 3 o 5 el resultado de la misma siempre ser
cero y para cualquier otro valor ser uno.

MINTERMINOS
Tabla de la verdad
Representa la salida de la funcin para todas las
posibles combinaciones de las variables de
entrada. Si se evala la siguiente funcin:
Para A=0 y B=0
La funcin:

MINTERMINOS
Tabla de la verdad
Evaluando la funcin para el resto de las
combinaciones de valores que pueden tener las
entradas se obtendran sus respectivas salidas,
estos valores se tabulan y se conoce con el nombre
de tabla de la verdad.
A

SIMPLIFICACIN DE FUNCIONES LGICAS

El proceso matemtico de simplificar funciones


lgicas esta basado en dos objetivos bsicos:
Obtener una funcin equivalente a la que se desea
simplificar, con la menor cantidad de trminos, y
que cada trmino tenga la menor cantidad de
literales.
Se estudiaran dos tcnicas para simplificar
funciones, la primera usando las reglas del algebra
de Boole y la segunda basada en los mapas de
Karnaugh.

MAPAS DE KARNAUGH

Son otra forma de representar


funciones lgicas con el objetivo de
simplificarlas. En el mapa se
representan los minterminos o los
maxterminos de una funcin.

MAPAS DE KARNAUGH

Mapas para dos variables


B

A
0
1

MAPAS DE KARNAUGH

Mapas para tres variables


C

AB
0
1

00

01

11

10

MAPAS DE KARNAUGH

Mapas para cuatro variables


CD

AB

00
01
11
10

00

01

11

10

MAPAS DE KARNAUGH

Mapas para cinco variables


ABC
DE
00
01
11
10

000

001

011

010

100

101

111

110

MAPAS DE KARNAUGH
Reglas del mtodo
1. Se escoge si se trabajara con minterminos
o maxterminos.
2. Se colocan dentro del mapa los
maxterminos 0 los minterminos.
3. Se forman grupos entre trminos vecinos
(maxterminos o minterminos)
4. Los grupos se forman en cantidades
iguales a la potencia de dos, es decir, 1, 2, 4,
8, 16 etc. grupo.

MAPAS DE KARNAUGH
Reglas del mtodo
5. Los grupos deben formarse de manera tal que
puedan abarcar el mayor nmero de trminos, porque
as se formaran trminos con menos literales, todo
esto respetando la regla anterior.
6. Se trata de formar el menor nmero de grupos
posibles porque as aparecern en la funcin
simplificada menos trminos.
7. En los grupos donde cambie el valor de una variable
de cero a uno o viceversa, en las filas o en las
columnas, esta variable no aparecer en el trmino que
formara ese grupo.

MAPAS DE KARNAUGH
Trminos vecinos
1. Son trminos vecinos aquellos que se hallen uno
al lado del otro vertical y horizontalmente.
2. Son trminos vecinos aquellos que se
encuentran uno encima del otro, porque se supone
que los mapas estn superpuestos como pisos de
apartamentos, para mapas de ms de cinco
variables.
3. Son trminos vecinos aquellos que se
encuentran en los extremos opuestos del mapa en
la misma direccin horizontal o vertical.

También podría gustarte

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy