Lgica binaria

Operaciones lgicas con variables binarias

Indice:
Lgica binaria
Operaciones lgicas
Funcin EQUAL
Funcin NOT
Funcin OR
Funcin AND
Funcin NOR
Funcin NAND
Funcin OREX
Funcin NOREX

Lgica binaria
De Wikipedia, la enciclopedia libre
Saltar a: navegacin, bsqueda
La lgica binaria trabaja con variables binarias y operaciones lgicas del lgebra de
Boole. As, las variables slo toman dos valores discretos: V (verdadero) y F (falso);
aunque tambin se pueden denotar como s y no, 1 y 0 respectivamente.
Es un rea de la matemtica aplicada al campo de la electrnica. Es la base de los Sistemas
Digitales y ello implica tambin, la base de la Estructura de Computadores.
ndice
[ocultar]
1 Perspectiva general
2 Principio de dualidad
3 Tablas de verdad de las operaciones binarias fundamentales
o 3.1 Multiplicacin lgica o interseccin
o 3.2 Suma lgica o unin
o 3.3 Negacin lgica
o 3.4 Operaciones lgicas compuestas
4 Axiomas
5 Vase tambin
Perspectiva general[editar editar cdigo]
Lo que comnmente en lgica es falso o verdadero, en la lgica binaria lo vemos
representado mediante dgitos utilizando exclusivamente los valores 0 y 1, nmeros que de
por s no tienen un valor numrico de tipo Real, sino ms bien de tipo discreto, es decir , 0
y 1 representan distintos estados del objeto de estudio, por ejemplo, a la hora de poder
desarrollar un circuito digital.
Los circuitos digitales funcionan generalmente bajo tensiones de 5 voltios en corriente
continua (por ejemplo la tecnologa TTL) si bien existen excepciones como la serie CMOS,
que trabaja en diferentes rangos que pueden ir desde los 4 a los 18 voltios.
Generalmente, el estado lgico 0 representa una ausencia de tensin, un nivel bajo; y el
estado lgico 1 representa una existencia de tensin, un nivel alto. Mediante la
combinacin de estos valores es posible generar una serie de datos convertible a cualquier
cdigo utilizando la normativa aplicable en cada caso.
Principio de dualidad[editar editar cdigo]
Todas las expresiones booleanas permanecen vlidas si se intercambian los operadores '+' y
' ', y los elementos '0' y '1'.
As para obtener una expresin algebraica dual, se intercambian los operadores "Y" y "" y
se reemplazan unos por ceros y viceversa
Tablas de verdad de las operaciones binarias
fundamentales[editar editar cdigo]
Multiplicacin lgica o interseccin[editar editar cdigo]
Tambin conocida como AND (la conjuncin y en ingls).




Resumiendo, el resultado siempre dar 0 a menos que ambas variables valgan 1; esto
sucede porque como se explic anteriormente hay slo dos variables 0 y 1 por consiguiente
al multiplicar 1 1 nos da como resultado 1. (Equivale a la multiplicacin)
Suma lgica o unin[editar editar cdigo]
Tambin conocida como OR (o).




Resumiendo, el resultado arrojado ser siempre 1 si al menos una de las variables tiene por
valor 1.
Nota: Estrictamente, entre AND y OR slo una de las dos podra considerarse fundamental
ya que una puede obtenerse de la otra en combinacin con el NOT segn las leyes de De
Morgan.
Negacin lgica[editar editar cdigo]
Tambin conocida como NOT (no).


El not es una inversin del valor como se ve. (Equivale a restar el valor inicial de 1)
Operaciones lgicas compuestas[editar editar cdigo]
Siguiendo el lgebra de Boole se pueden combinar estas operaciones empleando varias
variables y obteniendo resultados ms complejos. A continuacin una tabla de verdad de
una operacin lgica compuesta.
Ejemplo: A (B + C)

Axiomas[editar editar cdigo]
En 1854 George Boole introdujo un tratamiento sistemtico de lgica y para ello desarroll
un sistema algebraico que hoy en dia conocemos como lgebra de Boole.Ms tarde en 1904
Edward V. Huntington le dio una definicin formal al lgebra de boole mediante los
siguientes postulados.
elemento de identidad


Propiedad conmutativa (el resultado no depende del orden)


Propiedad asociativa (el resultado no depende de el modo de asociacin)


Propiedad distributiva (una operacin se distribuye en una asociacin)


Otras propiedades










Leyes de Morgan


Operadores no fundamentales XOR, XNOR e IMPLIES
Los operadores no fundamentales pueden expresarse a partir de los operadores
fundamentales
XOR:





XOR se conoce como OR exclusiva
XNOR:





XNOR equivale a si y slo si.
IMPLIES:





IMPLIES equivale a si ... entonces ....

Lgica binaria
Una de las funciones de la Unidad Aritmtico Lgica (ALU), situada en
el ncleo del procesador es la de realizar las operaciones lgicas con los
datos contenidos en una instruccin del programa. Pero, qu es una
operacin lgica?

Operaciones lgicas
Una operacin lgica asigna un valor (CIERTO o FALSO) a la
combinacin de condiciones (CIERTO o FALSO) de uno o ms factores.
Los factores que intervienen en una operacin lgica slo pueden ser
ciertos o falsos. Y el resultado de una operacin lgica puede ser, tan
slo, cierto o falso.
Por ejemplo, imagnate el sistema de control del toldo de una cafetera,
que se gobierna mediante una operacin lgica. Para que el motor que
extiende el toldo se accione deber tener en cuenta dos factores: es de
da? est lloviendo? Si estos dos factores son ciertos, el motor debe
ponerse en marcha y extender el toldo.

De dia Llueve Toldo
Falso Falso Falso
Falso Cierto Falso
Cierto Falso Falso
Cierto Cierto Cierto

Los resultados de una operacin lgica, para cada uno de los valores
posibles de las variables, se fijan en una tabla denominada Tabla de
Verdad, como la del ejemplo anterior.
Para que un procesador pueda ejecutar las operaciones lgicas, es
preciso asignar un valor binario a cada una de las condiciones
posibles. Se suele asignar un UNO (1) al valor CIERTO y un CERO (0)
al valor FALSO, con el criterio denominado lgica positiva.
Las operaciones lgicas ms importantes son: EQUAL (idntico), NOT
(negacin), OR (O), AND (Y), NOR (O negada), NAND (Y negada), OREX
(O exclusiva) y NOREX (O exclusiva negada). Veamos con detalle estas
operaciones:

Funcin EQUAL
El resultado S de aplicar la funcin lgica equal, sobre una variable a,
es muy simple: si a es CIERTO (1) S es CIERTO (1) y, si a es FALSO
(0), S es FALSO (0). Estas dos resultados posibles se muestran en la
tabla de verdad adjunta:

a S
1 1
0 0

Un ejemplo sencillo de aplicacin prctica de esta funcin lgica sera
el encendido de las luces del alumbrado pblico.
En algn lugar de la ciudad se instala un detector crepuscular, que
detecta cundo es de noche y controla un interruptor que enciende las
luces de las calles: si es de noche (1) se encienden las lmparas (1); si
NO es de noche (0) NO se encienden las lmparas (0).
Un circuito elctrico capaz de implementar esta funcin lgica es el
siguiente:





Funcin NOT
El resultado S de aplicar la funcin lgica NOT, sobre una variable a,
es muy simple: si a es CIERTO (1) S es FALSO (0) y, si a es FALSO (0),
S es CIERTO (1). Estas dos resultados posibles se muestran en la tabla
de verdad adjunta. Se conoce tambin como funcin negacin: S
equivale a a negada.
a S
1 0
0 1

Un ejemplo sencillo de aplicacin prctica de esta funcin lgica sera
el circuito que controla el acceso a una oficina bancaria, a travs de
una puerta automtica equipada con un detector de metales que cierra
un interruptor.
Si el detector de metales SI nota que el cliente lleva objetos metlicos
(1) y la puerta NO se abre (0); en cambio, si el cliente NO lleva objetos
metlicos (0), la puerta SI se abre (1).





Funcin OR
La funcin OR equivale a la conjuncin disyuntiva O. El resultado S de
aplicar la funcin lgica OR, sobre dos variables a y b es el siguiente: S
es cierto si a es CIERTO (1) o si b es CIERTO (1). Cuando se aplica una
operacin lgica sobre 2 variables caben 4 combinaciones posibles. Los
resultados de la operacin lgica OR, en las cuatro combinaciones
posibles de valores dos variables, se muestran en la tabla de verdad
adjunta.

a b S
0 0 0
0 1 1
1 0 1
1 1 1

Una aplicacin prctica sencilla de la operacin lgica OR, sera el
circuito de sealizacin instalado en un comercio, en el que se puede
entrar por dos puertas distintas, que avisara al dependiente al entrar
un cliente por cualquiera de las dos puertas del establecimiento. Si un
cliente entra por la puerta a (1) O si un cliente entra por la puerta b (1),
el timbre suena (1). Si no entra ningn cliente por ninguna de las
puertas a (0) ni b (0). El timbre NO suena (0).
Un circuito elctrico compuesto por dos interruptores en paralelo,
cumple la lgica OR. La lmpara SI se encender (1) si se acciona el
interruptor a (1) O si se acciona el interruptor b (1) O si se accionan
ambos interruptores. Si no se acciona ningn interruptor, la lmpara
NO se encender (0).




Funcin AND
La funcin AND equivale a la conjuncin copulativa Y: El resultado S
de aplicar la funcin lgica AND, sobre dos variables a y b es el
siguiente: S es CIERTO si a es CIERTO (1) Y si b es CIERTO (1).
Los resultados de la operacin lgica AND, en las cuatro combinaciones
posibles de valores dos variables, se muestran en la tabla de verdad
adjunta.

a b S
0 0 0
0 1 0
1 0 0
1 1 1

Una aplicacin de la operacin lgica AND, sera el sistema de control
de los pasajeros en un aeropuerto. Cada pasajero debe pasar por tres
controles: Tiene tarjeta de embarque? Tiene pasaporte en regla? No
lleva objetos metlicos peligrosos? Una empleada del aeropuerto
comprueba que tiene un billete vlido y le da una tarjeta de embarque;
a continuacin, un agente de polica verifica que su pasaporte est en
regla y no est en la lista de personas reclamadas y, finalmente, un
grupo de agentes comprueban su equipaje de mano con un escner y
un arco detector de metales. Un pasajero slo puede embarcar en el
avin si tiene tarjeta de embarque (1), su pasaporte est en regla (1) y
no lleva consigo objetos peligrosos (1). En los dems casos no puede
embarcar.
Es fcil construir un circuito elctrico que cumple la lgica AND: dos
interruptores en serie, a y b, por ejemplo. La lmpara S se encender
tan slo si se acta sobre el interruptor a (1) Y sobre el interruptor b
(1). En todos los dems casos, la lmpara NO se encender.




Funcin NOR
La funcin NOR equivale a la funcin OR negada.
El resultado S de aplicar la funcin lgica NOR, sobre dos variables a y
b es el siguiente: S es CIERTO si a es FALSO (0) y si b es FALSO (0).
Los resultados de la operacin lgica NOR, en las cuatro
combinaciones posibles de valores dos variables, se muestran en la
tabla de verdad adjunta:

a b S
0 0 1
0 1 0
1 0 0
1 1 0


Una aplicacin prctica sencilla de la operacin lgica NOR, sera el
sistema de seguridad de un puente levadizo. Un detector a se activa
cuando entra un vehculo en el puente, por el carril derecho. Otro
detector b se activa cuando entra otro vehculo por el carril contrario.
Los motores que accionan el sistema de elevacin del puente slo
deben ponerse en marcha si se da la condicin NOR: no hay ningn
vehculo circulando por el carril derecho NI por el carril izquierdo.
Un circuito elctrico compuesto por dos interruptores normalmente
cerrados, en serie, cumple la lgica NOR: la lmpara SI se encender
(1) si NO se acciona el interruptor a (0) NI se acciona el interruptor b
(0). Si se acciona cualquiera de los dos interruptores, la lmpara NO se
encender (0).





Funcin NAND
La funcin NAND equivale a la funcin AND negada.
El resultado S de aplicar la funcin lgica NAND, sobre dos variables a
y b es el siguiente: S es CIERTO si a es FALSO (0) o si b es FALSO (0)
o si son FALSAS ambas variables. Los resultados de la operacin lgica
NAND, en las cuatro combinaciones posibles de valores dos variables,
se muestran en la tabla de verdad adjunta:

a b S
0 0 1
0 1 1
1 0 1
1 1 0

Una aplicacin prctica sencilla de la operacin lgica NAND sera, por
ejemplo, el control del aire acondicionado de un edificio inteligente.
Supongamos que el edificio est equipado con un detector crepuscular,
que se activa al llegar la noche. Durante el da el detector est
desactivado (0) y durante la noche el detector est activado (1).
Supongamos tambin que en la entrada del edificio hay un sistema de
recuento de personas que se pone a CERO (0) cuando hay alguien en el
edificio y se pone a UNO (1) cuando todo el mundo ha salido ya. Cmo
controlar la puesta en marcha del aire acondicionado? Muy fcil, con
un circuito que siga la lgica NAND: el aire acondicionado se parar
cuando sea de noche y no quede nadie en el edificio.
Un circuito elctrico compuesto por dos interruptores normalmente
cerrados, en paralelo, cumple la lgica NAND: la lmpara SI se
encender (1) si NO se acciona el interruptor a (0) o si NO se acciona el
interruptor b (0) o si NO se accionan ambos interruptores.




Funcin OREX
La funcin OREX se conoce tambin con el nombre de OR
EXCLUSIVA.
El resultado S de aplicar la funcin lgica OREX, sobre dos variables a
y b es el siguiente: S es CIERTO solo si a es CIERTO (1) o si b es
CIERTO (1), pero no si ambas variables son ciertas. Los resultados de
la operacin lgica OREX, en las cuatro combinaciones posibles de
valores dos variables, se muestran en la tabla de verdad adjunta:

a b S
0 0 0
0 1 1
1 0 1
1 1 0

Un circuito elctrico como el del esquema siguiente, compuesto por dos
pulsadores dobles NA + NC, cumple la lgica OREX: la lmpara S se
encender (1) EXCLUSIVAMENTE si se acciona el pulsador a o si se
acciona el pulsador b, pero NO se encender si se accionan
simultneamente ambos pulsadores. Tampoco se encender si no se
acciona ninguno de los dos pulsadores.





Funcin NOREX
La funcin NOREX se conoce tambin con el nombre de OR
EXCLUSIVA NEGADA.
El resultado S de aplicar la funcin lgica NOREX, sobre dos variables
a y b es el siguiente: S es CIERTO si a y b son ciertos O si a y b son
falsos. Es decir, si ambas variables tienen el mismo valor. Los
resultados de la operacin lgica NOREX, en las cuatro combinaciones
posibles de valores dos variables, se muestran en la tabla de verdad
adjunta:

a b S
0 0 1
0 1 0
1 0 0
1 1 1

Un circuito elctrico como el del esquema siguiente, compuesto por dos
pulsadores dobles NA + NC, cumple la lgica NOREX: la lmpara S se
encender si se accionan ambos pulsadores o si no se acciona
ninguno de ellos.




Otro ejemplo de aplicacin de la funcin lgica NOREX es la correccin
automtica de textos: si una persona escribe una palabra en su
procesador de textos, el corrector ortogrfico la comparar con todas
las palabras semejantes de su diccionario aplicando una funcin
NOREX entre ellas.
Si alguna letra no coincide, detectar que hay un error, porque el
resultado de la funcin NOREX no entrega unos en todos los bit. Por
ejemplo, si escribimos con una falta de ortografa la palabra lobo:

Palabra Cdigo
ASCII
Cdigo binario
lovo
6C6F766F 01101100011011110111011001101111
lobo
6C6F626F 01101100011011110110001001101111
Funcin NOREX:
11111111111111111110101111111111

de este modo, el procesador es capaz de detectar que el error est en el
tercer carcter