Neumtica Lgica
La lgica neumtica es una ciencia de razonamiento numrico aplicada a circuitos
neumticos que toman decisiones del tipo si ... entonces: si una serie de
circunstancias particulares ocurre, entonces una accin particular resulta. El
resultado es siempre el mismo para una serie dada de circunstancias.
La posibilidad de predecir el resultado final es propia del diseo de sistemas
neumticos a partir de circuitos bsicos llamados compuertas. Las compuertas
son bloques electrnicos elementales que realizan operaciones lgicas sencillas y
toman decisiones.
Las posibilidades de procesamiento de seales de tipo binario, es posible
describirlas mediante el tres operaciones lgicas bsicas, tales como la AND, la
OR y la NOT. Es importante destacar que las seales derivadas de este proceso,
son de tipo binario, por tal razn su magnitud fsica posee mrgenes superior e
inferior que estn en funcin de la tecnologa empleada y no influyen en la teora.
Desde un punto de vista terico la lgica cableada opera de igual forma que la
lgica tradicional, donde las variables solamente pueden tener dos estados
posibles, verdadero o falso. [1]
Compuertas:
Compuerta AND
Una compuerta AND, es un dispositivo lgico que entrega una salida alta cuando
todas sus entradas son altas y una salida baja cuando hay un bajo en alguna (o
ambas) de sus entradas.
Smbolo lgico:
Adicionalmente, se puede implementar la operacin lgica AND a travs de
componentes neumticos, en este caso, la vlvula de simultaneidad:
En la vlvula de simultaneidad, solo habr seal de aire en la salida c, si hay seal
de aire en las entradas a y b simultneamente. La ventaja de esta configuracin,
consiste en que es una solucin econmica debido al bajo costo de los elementos
neumticos involucrados; mientras que la principal desventaja radica en que la
seal de aire de la vlvula b, no se puede co-utilizar en otras combinaciones de
seales, ya que solo tiene energa en conexin AND la vlvula a.
Compuertas OR:
Una compuerta OR es un dispositivo digital que entrega una salida baja cuando
todas sus entradas son bajas, y una salida alta cuando existe por lo menos un alto
en cualquiera de sus entradas o en las dos al mismo tiempo.
La expresin A + B = Q debe leerse como Q es igual a A o B A o B igual a
Q, y no como Q es igual a A ms B.
Smbolo lgico:
Para el caso de implementacin de la operacin lgica OR mediante elementos
neumticos, se usa la vlvula selectora. En este caso, si hay una seal de aire
comprimido en cualquiera de las dos entradas a o b, la salida c, se activar con
una seal de aire comprimido.
Compuertas NOT o inversores:
Una compuerta NOR o inversor es un dispositivo lgico digital con una lnea de
entrada y una lnea de salida que entrega una salida alta cuando su entrada es
baja y una salida baja cuando su entrada es alta.
En otras palabras, un inversor invierte, niega o complementa el nivel lgico de la
seal de entrada. Es una de las compuertas ms utilizadas.
En el caso de la neumtica, la representacin de la funcin lgica NOT, se hace a
travs de la vlvula 3/2 normalmente abierta.
Otras funciones lgicas con sus equivalentes neumticos
Smbolo:
Lgica
Descripcin:
Funcin igualdad.
Funcin negacin.
Funcin AND.
Funcin OR.
Funcin NAND.
Funcin NOR.
Temporizador a la conexin.
Temporizador a la desconexin.
Biestable.
Memoria S-R.
Algebra de Boole
El Algebra de Boole es un sistema matemtico que utiliza variables y operadores
lgicos. Las variables pueden valer 0 1.
Propiedades del lgebra de Boole
1. Propiedad conmutativa:
A+ B=B+A
AB= BA
2. Propiedad distributiva:
A(B+C) = AB + AC
A + BC = (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
Teoremas del lgebra de Boole
Teorema 1: el elemento complemento A es nico.
Teorema 2 (elementos nulos): para cada elemento de B se verifica:
A+1 = 1
A0 = 0
Teorema 3: cada elemento identidad es el complemento del otro.
0=1
1=0
Teorema 4 (idempotencia): para cada elemento de B, se verifica:
A+A=A
AA=A
Teorema 5 (involucin): para cada elemento de B, se verifica:
(A) = A
Teorema 6 (absorcin): para cada par de elementos de B, se verifica:
A+AB=A
A(A+B)=A
Teorema 7: para cada par de elementos de B, se verifica:
A + AB = A + B
A (A + B) = A B
Teorema 8 (asociatividad): cada uno de los operadores binarios (+) y () cumple
la propiedad asociativa:
A+(B+C) = (A+B)+C
A(BC) = (AB)C
Leyes de De Morgan: para cada par de elementos de B, se verifica:
(A+B) = AB
(AB) = A + B
[1] Introduccin a la tcnica neumtica de mando. Manual de Estudio FESTO.
