Вы находитесь на странице: 1из 4

lgebra Booleana y La Electrnica

El lgebra booleana es un sistema matemtico deductivo centrado en los valores cero


y uno (falso y verdadero). Un operador binario " " definido en ste juego de valores
acepta un par de entradas y produce un solo valor booleano, por ejemplo, el operador
booleano AND acepta dos entradas booleanas y produce una sola salida booleana.
Para cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se
pueden deducir reglas adicionales, teoremas y otras propiedades del sistema, el
lgebra booleana a menudo emplea los siguientes postulados:

Cerrado. El sistema booleano se considera cerrado con respecto a un operador


binario si para cada par de valores booleanos se produce un solo resultado
booleano.
Conmutativo. Se dice que un operador binario " " es conmutativo si A B = B
A para todos los posibles valores de A y B.
Asociativo. Se dice que un operador binario " " es asociativo si (A B) C = A
(B C) para todos los valores booleanos A, B, y C.
Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C)
= (A B) % (A C) para todos los valores booleanos A, B, y C.
Identidad. Un valor booleano I se dice que es un elemento de identidad con
respecto a un operador binario " " si A I = A.
Inverso. Un valor booleano I es un elemento inverso con respecto a un
operador booleano " " si A I = B, y B es diferente de A, es decir, B es el valor
opuesto de A.

Para nuestros propsitos basaremos el lgebra booleana en el siguiente juego de


operadores y valores:
- Los dos posibles valores en el sistema booleano son cero y uno, a menudo
llamaremos a stos valores respectivamente como falso y verdadero.
- El smbolo representa la operacin lgica AND. Cuando se utilicen nombres de
variables de una sola letra se eliminar el smbolo , por lo tanto AB representa la
operacin lgica AND entre las variables A y B, a esto tambin le llamamos el
producto entre A y B.
- El smbolo "+" representa la operacin lgica OR, decimos que A+B es la operacin
lgica OR entre A y B, tambin llamada la suma de A y B.
- El complemento lgico, negacin NOT es un operador unitario, en ste texto
utilizaremos el smbolo " ' " para denotar la negacin lgica, por ejemplo, A' denota la
operacin lgica NOT de A.
- Si varios operadores diferentes aparecen en una sola expresin booleana, el
resultado de la expresin depende de la procedencia de los operadores, la cual es de
mayor a menor, parntesis, operador lgico NOT, operador lgico AND y operador
lgico OR. Tanto el operador lgico AND como el OR son asociativos por la izquierda.
Si dos operadores con la misma procedencia estn adyacentes, entonces se evalan
de izquierda a derecha. El operador lgico NOT es asociativo por la derecha.
Utilizaremos adems los siguientes postulados:

P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT


P2 El elemento de identidad con respecto a es uno y con respecto a + es
cero. No existe elemento de identidad para el operador NOT
P3 Los operadores y + son conmutativos.
P4 y + son distributivos uno con respecto al otro, esto es, A (B+C) =
(AB)+(AC) y A+ (BC) = (A+B) (A+C).
P5 Para cada valor A existe un valor A' tal que AA' = 0 y A+A' = 1. ste valor
es el complemento lgico de A.
P6 y + son ambos asociativos, sto es, (AB) C = A (BC) y (A+B)+C = A+
(B+C).

lgebra Booleana y circuitos electrnicos

La relacin que existe entre la lgica booleana y los sistemas de cmputo es fuerte, de
hecho se da una relacin uno a uno entre las funciones booleanas y los circuitos
electrnicos de compuertas digitales. Para cada funcin booleana es posible disear
un circuito electrnico y viceversa, como las funciones booleanas solo requieren de los
operadores AND, OR y NOT podemos construir nuestros circuitos utilizando
exclusivamente stos operadores utilizando las compuertas lgicas homnimas
Un hecho interesante es que es posible implementar cualquier circuito electrnico
utilizando una sola compuerta, sta es la compuerta NAND
Para probar que podemos construir cualquier funcin booleana utilizando slo
compuertas NAND, necesitamos demostrar cmo construir un inversor (NOT), una
compuerta AND y una compuerta OR a partir de una compuerta NAND, ya que como
se dijo, es posible implementar cualquier funcin booleana utilizando slo los
operadores booleanos AND, OR y NOT. Para construir un inversor simplemente
conectamos juntas las dos entradas de una compuerta NAND. Una vez que tenemos
un inversor, construir una compuerta AND es fcil, slo invertimos la salida de una
compuerta NAND, despus de todo, NOT ( NOT (A AND B)) es equivalente a A AND
B. Por supuesto, se requieren dos compuertas NAND para construir una sola
compuerta AND, nadie ha dicho que los circuitos implementados slo utilizando
compuertas NAND sean lo ptimo, solo se ha dicho que es posible hacerlo. La otra
compuerta que necesitamos sintetizar es la compuerta lgica OR, sto es sencillo si
utilizamos los teoremas de DeMorgan, que en sntesis se logra en tres pasos, primero
se reemplazan todos los "" por "+" despus se invierte cada literal y por ltimo se
niega la totalidad de la expresin:

A OR B
A AND B.......................Primer paso para aplicar el teorema de DeMorgan
A' AND B'.....................Segundo paso para aplicar el teorema de DeMorgan
(A' AND B')'..................Tercer paso para aplicar el teorema de DeMorgan
(A' AND B')' = A' NAND B'.....Definicin de OR utilizando NAND

Si se tiene la necesidad de construir diferentes compuertas de la manera descrita, bien


hay dos buenas razones, la primera es que las compuertas NAND son las ms
econmicas y en segundo lugar es preferible construir circuitos complejos utilizando
los mismos bloques bsicos. Observe que es posible construir cualquier circuito lgico
utilizando slo compuertas de tipo NOR (NOR = NOT(A OR B)). La correspondencia
entre la lgica NAND y la NOR es ortogonal entre la correspondencia de sus formas
cannicas. Mientras que la lgica NOR es til en muchos circuitos, la mayora de los
diseadores utilizan lgica NAND.
lgebra Booleana y La Computacin

Uno de los principales campos de aplicacin del lgebra de Boole es la informtica en


virtud del hecho de que la lgica de la computadora se basa en el sistema binario. En
los circuitos electrnicos de un ordenador la informacin se tratar esencialmente
como una secuencia de ceros y unos.

Es un lgebra que le permite abstraer las principales operaciones algebraicas en un


sistema binario. lgebra de Boole est diseada a mediados del siglo XIX por el
matemtico George Boole Ingls, de la que toma su nombre, y tambin se conoce como
el lgebra de Boole. Las operaciones de lgebra booleana permiten operar con slo dos
valores: 0 (cero) y 1 (uno). Los dos valores a veces tambin se conoce como Verdadero
(1) o falso (0) o como en (1) y apagado (0). Entonces, cmo las operaciones de lgebra
ordinaria algebraicas sobre los nmeros reales, por lo que el lgebra de Boole lleva en
nmeros binarios.

lgebra booleana le permite procesar las expresiones y la forma algebraica siguiendo


una lgica proposicional o lgica proposicional, donde las funciones devuelven slo
resultan en cero o uno.

lgebra booleana le permite procesar las expresiones y la forma algebraica siguiendo


una lgica proposicional o lgica proposicional, donde las funciones devuelven slo
resultan en cero o uno.

PUERTA LGICA

"Y" (AND)

En las escenas de esta pgina se muestran las tres puertas lgicas elementales y que
son la base de cualquier circuito digital. De hecho con esas puertas bastara para poder
disear cualquiera de ellos. En las dos pginas siguientes veremos otras puertas que
permiten simplificar el diseo e implementacin de los circuitos lgicos ms complejos.
Cualquiera de estas puertas existen cmo productos comerciales electrnicos. Los
smbolos usados en las escenas, para representar las puertas, son los estandares
empleados en electrnica digital. As mismo se representa la notacin booleana de la
funcin representada por cada una de las puertas mostradas y su nombre en ingls ya
que es usado en muchos textos.

La primera puerta que vemos es la puerta "Y". Podemos observar que tiene dos entradas
(inputs) y una salida (output). Las variables A y B representan dos variables booleanas
cualesquiera y, modificando sus valores, podemos ver cmo se modifica el valor de
salida. Una puerta "Y" la podemos imaginar como la entrada a un comercio en el que
hay una barrera y una puerta a continuacin. Si una de las dos, o ambas, estn cerradas
(alguna de las variables de entrada es 0), no podemos entrar al establecimiento. Slo
podemos entrar si ambas estn abiertas (las dos variables de entrada, as como la
salida, sern 1).

A nivel de lgica proposicional la funcin Y corresponde a la conjuncin o producto


lgico. Un ejemplo sera: "Juan es moreno y Luis practica baloncesto". En el caso de
que ambas proposiciones sean verdaderas, tambien ser verdadera su conjuncin.

"O" (OR)

A continuacin se muestra una puerta O. Como se puede observar tambin tiene dos
entradas (inputs), A y B , y una salida (output). Si modificas los valores de las entradas,
tal como hiciste en la escena anterior, vers cmo vara la salida correspondiente. Un
ejemplo fsico sencillo que se asemeja al comportamiento de una puerta O sera el de
una puerta de doble hoja de una casa. Basta abrir una de las dos hojas para poder entrar
o abrir las dos hojas. Hay ejemplos ms complejos pero ste resulta suficientemente
claro).

Proposicionalmente se corresponde con la disyuncin, tambien llamada suma lgica.


Un ejemplo sera el aserto "esta pgina tiene el fondo blanco O se acaba este prrafo".
Dicho aserto ser verdadero siempre que lo sea alguna de las dos proposiciones
(frases) que lo forman.

"NO" (NOT)

En la tercera escena aparece la puerta "NO", ltima de las puertas lgicas bsicas. Lo
primero que llama la atencin es que esta puerta, a diferencia de las anteriores,
solamente tiene una entrada. En mucha de la literatura especializada tambien se le
suele llamar "inversor". Es la puerta ms simple ya que en las anteriores se pueden
aadir ms entradas, mientras que en esta la entrada siempre es nica. A nivel de lgica
proposicional, esta puerta se corresponde con la negacin de una proposicin a
aserto.

Вам также может понравиться