Tarea

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 4

El álgebra booleana, puede definirse con un conjunto de elementos, un conjunto de operadores y un

número de axiomas no probados o postulados. A continuación se presentan los principales


teoremas y postulados del álgebra booleana:

Postulado 2 (a) x +0 = x (b) x.1 = x

Postulado 5 (a) x + x' = 1 (b) x.x' = 0

Teorema 1 (a) x + x = x (b) x.x = x

Teorema 2 (a) x + 1 = 1 (b) x.0 = 0


SISTEMAS DIGITALES

Teorema 3, involución (x')' = x (b) x y = y x

Postulado 3, conmutativo (a) x + y = y + x (b) x (y z) = (x y) z

Teorema 4, asociativo (a) x + (y + z) = (x + y) + z (b) x + y z = (x + y)(x + z)

Postulado 4, distributivo (a) x (y + z) = x y + x z (b) (x y)' = x' + y'


Teorema 5, de De Morgan (a) (x + y)' = x' y' (b) x (x + y) = x

Teorema 6, absorción (a) x + x y = x

MAPAS DE KARNAUGH.

El mapa des un diagrama compuesto por cuadros. Cada cuadro representa un minitérmino. Ya que
cualquier función booleana puede representarse como una suma de minitérminos, se concluye que
una función booleana puede representarse como una suma de minitérminos, se concluye que una
función booleana se reconoce en forma gráfica por el área encerrada en los cuadros cuyos
minitérminos se incluyen en la función. De hecho, el mapa representa un diagrama visual de todas
las formas posibles en que puede expresarse una función en una manera estándar.

La numeración de los cuadros en el mapa de Karnaugh se numeran en una secuencia de código


reflejado, con solo cambiando de valor entre dos renglones adyacentes o columnas; en la siguiente
figura se ilustra la manera como quedaría representado:

m0 m1 m3 m2
m4 m5 m7 m6
m12 m13 m15 m14
m8 m9 m11 m10

Se definen cuadros adyacentes para que sean cuadros juntos entres sí. Además, se considera que
el mapa cae en una superficie en las orillas superior e inferior, al igual que en las orillas derecha e
izquierda, tocándose uno a otro para formar cuadros adyacentes.
SISTEMAS DIGITALES
COMPUERTAS LÓGICAS DIGITALES.

Nombre Símbolo Gráfico Función Algebraica Tabla de Verdad


XYF

000

AND F=XY 010

100

111
XYF

000

OR F=X+Y 011

101

111
XF

ERSOR F = X' 01

10
XYF

001

NAND F = (X Y)' 011


SISTEMAS DIGITALES

101

110
XYF
NOR F = (X + Y)'
001
010

100

110
XYF

000

XOR F = X' Y + X Y' 011

101

110
XYF

001

XNOR F = X Y + X' Y' 010

100

111
SISTEMAS DIGITALES

También podría gustarte