Vous êtes sur la page 1sur 5

Ingeniería Mecatrónica.

Electrónica Digital

Rodriguez Abreo Omar

Grupo: K62

Alumno:
Mora Moreno Omar.

Clave de la asignatura: MTF 1013

Semestre: Enero – Junio 2018


Algebra Booleana
El álgebra booleana, estudiada por primera vez en detalle por George Boole ,
constituye un área de las matemáticas que ha pasado a ocupar un lugar prominente
con el advenimiento de la computadora digital.
Usada ampliamente en el diseño de circuitos de distribución y computadoras, y sus
aplicaciones van en aumento en muchas otras áreas. En el nivel de lógica digital de
una computadora, lo que comúnmente se llama hardware, y que está formado por
los componentes electrónicos de la máquina, se trabaja con diferencias de tensión,
las cuales generan funciones que son calculadas por los circuitos que forman el
nivel.
Las operaciones fundamentales son:
Conjunción u operación AND (se representa con un.)
Disyunción u operación OR (se representa con un +)
Complementación, Negación u operación NOT (se representa con una barra sobre
la variable Y)
Las variables son las proposiciones, que se representan o simbolizan por letras.

Éstas funciones, en la etapa de diseña del hardware, son interpretadas como


funciones de Boole.

Propiedad
1.- PROPIEDAD CONMUTATIVA:
 A+B=B+A
 A·B=B·A
2. PROPIEDAD DISTRIBUTIVA:
 A·(B+C) = A·B + A·C
 A + B·C = (A+B)·(A+C)
3. ELEMENTOS NEUTROS DIFERENTES
 A+0=A
 A·1=A
4. SIEMPRE EXISTE EL COMPLEMENTO DE A, DENOMINADO A’
 A + A’ = 1
 A · A’ = 0
PRINCIPIO DE DUALIDAD:
Cualquier teorema o identidad algebraica deducible de los postulados
anteriores puede transformarse en un segundo teorema o identidad válida sin
más que intercambiar (+) por (·) y 1 por 0. NOTA en los siguientes ejemplos
de teoremas se cambia el . por un *
CONSTANTE:
Cualquier elemento del conjunto B VARIABLE: símbolo que representa un
elemento arbitrario del álgebra, ya sea constante o fórmula completa.
Fundamentos de los Computadores.
VARIABLE: símbolo que representa un elemento arbitrario del álgebra, ya
sea constante o fórmula completa.
Teoremas del algebra booleana
Asumiendo la igualdad se obtienen. = *
REGLA DEL CERO Y LA UNIDAD
a) 0+X=X
b) 1+X=1
c) 0*X=0
d) 1*X=0
IDEMPOTENCIA O POTENCIAS IGUALES
a) X+X=X b)X*X=X
COMPLEMENTACION

a)X*X=1 b)X*X=0
INVOLUCION
X=X
CONMUTIVIDAD
a) X+Y=Y*X Conmutividad del +
b) X*Y=Y*X Conmutividad del .
ASOCIATIVIDAD
a) X+(Y*Z)= (/X+Y)+Z=X+Y+Z Asociatividad del +
b) X*(Y*Z)=(X*Y)*Z=X*Y*Z Asociativiad del .
DISTRIBUIDAD
a) X+Y*Z=(X+Y)(X+Z) Distribuidad del +
b) X*(Y+Z)=X*Y+X*Z Distribuidad del .
LEYES DE ABSORCION
a) X(X+Y)=X
b) X(X+Y)=X*Y
c) X(X+Y)=X*Y
d) (X+Y)*(X+Y)=X
e) X+X*Y=X
f) X+X*Y=X+Y
g) X+X*Y=X+Y
h) X*Y+X*Y=X
TEREMAS DE DEMORGAN
A) X*Y=X+Y
B) X+Y=X*Y
C) X*Y=X+Y
D) X+Y=X*Y
DUALIDAD

Los postulados y teoremas presentados anteriormente están


representados en pares. La razón es que cada teorema posee lo que
llamamos un dual. El dual de una expresión se obtiene intercambiando
las ocurrencias de OR por AND, 0 por 1 y viceversa.. Si un teorema es
valido, también lo será su dual, En efecto siguiendo el dual de la
demostración del teorema, se obtiene la demostración del dual del
teorema.

Por ejemplo dado el postulado 0+0 = 0 se obtiene el dual haciendo 1•1 = 1

REPRESENTACIÓN DE FUNCIONES BOOLEANAS

Existen infinitas maneras de representar una función booleana. Así por


ejemplo la función G = X + Y Z puede también representarse como G =
X + X + YZ.

Otras veces se suele utilizar la forma negada o el complemento de la


función. Para esto es se niegan los literales y se intercambian los AND
y OR.

Por ejemplo, el complemento de: A + B · C


Es: A ( B + C )

El complemento de una función no es la misma función, es la forma negada de la


función.

En el álgebra de Boole es fundamental la existencia de una forma


algebraica que proporcione explícitamente el valor de una función para
todas las combinaciones de los valores de las variables.

Algunas deficiones a tomar en cuenta:

LITERAL: se refiere a una variable o a su complemento (por ej. A, X, X )

TERMINO PRODUCTO: es un grupo de literales que se encuentran relacionados


entre si por un AND

(por ej. A•B, C•A, X •Y•Z )

TERMINO SUMA: es un grupo de literales que se encuentran

relacionados entre si por un OR (por ej. A+B, C+A, X +Y+Z )

TERMINO NORMAL: termino producto o termino suma en el que un literal no


aparece mas de una vez
TERMINO CANÓNICO: termino en el que se encuentra exactamente
uno de cada uno de los literales de la función. Si el termino canónico es
un producto, se denominará mintermino. Si es una suma se denominará
maxtermino,

FORMA NORMAL DE UNA FUNCIÓN: es la que está constituida por


términos normales. Puede estar en la forma suma de términos
productos o productos de términos sumas.

FORMA CANÓNICA DE UNA FUNCIÓN: es aquella constituida


exclusivamente por términos canónicos que aparecen una sola vez.