QUÉ ES LA LÓGICA BINARIA

La lógica binaria, también conocida como lógica de dos valores o lógica booleana,
es un conjunto de reglas para tratar con proposiciones que deben ser verdaderas o falsas. El
álgebra lógica fue desarrollada a principios del siglo XIX por el matemático George Boole
para investigar las leyes fundamentales en que se basa el razonamiento humano. Esta
álgebra tiene una característica especial: sus variables solo pueden adoptar dos valores,
tradicionalmente denominados cierto y falso (es usual representarlos con 1 y 0
respectivamente), en estos casos, ambos dígitos pueden representar cualquier par de
estados, con la condición de ser mutuamente excluyentes. Hagamos hincapié que, en estos
casos, las cifras 0 y 1 no representan cantidades numéricas. Son símbolos de dos estados
mutuamente excluyentes.
El hecho de que en este tipo de sistemas (de variables lógicas binarias) se utilice un
sistema de numeración binario (de base 2), es porque al tener este sistema de numeración
solo dos dígitos 0 y 1, es posible establecer una relación biunívoca entre los valores
numéricos y los estados lógicos.
LAS TRES OPERACIONES BÁSICAS DE LA LÓGICA BINARIA
Operación NOT
La operación NOT, también llamada Negación, es la operación que implementa el
conectivo lógico Negación. Consta de una entrada y una salida. Su salida siempre es la
negación de su entrada. Miremos el símbolo de la operación NOT y su tabla de verdad:

Operación OR
La palabra OR proviene del inglés que significa «o» y se interpreta como Cualquiera o
Todo. Esta compuerta implementa el conectivo lógico Disyunción. Así, su salida es 1 si en
sus entradas se cumple una o ambas condiciones. A continuación, su símbolo y su tabla de
verdad.
Operación AND
La palabra inglesa AND quiere decir Y. Se interpreta como Todo. Esta compuerta
implementa el conectivo lógico Conjunción, de manera que su salida es 1 si en sus entradas
se cumplen ambas condiciones. Miremos el símbolo de la operación AND y su tabla de
verdad.

FUNCIONES BOOLEANAS:
Sea B = {0, 1}. La variable x se denomina Variable booleana si asume únicamente valores
del conjunto B. Una función de B n, el conjunto {(x1, x2, ..., xn) | xi ∈ B, 1 ≤ i ≤ n} en B se
denomina función booleana de grado n.
Una función booleana o función lógica es una expresión de operaciones booleanas
enlazando variables que solamente pueden adquirir los valores 0 y 1. Una función booleana
es una aplicación que a cada conjunto de valores booleanos de sus variables le asigna un y
sólo un valor booleano.
La primera de las dos definiciones anteriores es de tipo «descriptivo»: describe la forma
algebraica de una función booleana; mientras que la segunda es de tipo «conceptual»:
identifica la función como correspondencia entre el conjunto de valores de las variables y el
valor booleano de la variable dependiente.
En una función f designaremos con el nombre de variables de entrada x i al conjunto de sus
variables propias y denominaremos variable de salida y a la variable dependiente o
resultado de la propia función y = f(xi).
De acuerdo con las definiciones anteriores, las funciones lógicas pueden representarse en
dos formas diferentes:
- por su expresión algebraica o fórmula booleana, como expresión de las operaciones que
ligan a sus variables;
- por su tabla operativa o tabla de verdad, expresando en forma de tabla la correspondencia
entre la variable de salida y cada combinación posible de valores de sus variables de
entrada.
MINITERMINOS:
Un minitérmino o minterm es una cláusula formada por n literales (positivos o
negativos) conectados únicamente por la conjunción lógica (AND). Ejemplos de

minterms para n=3 son a⋅b⋅c, a·b´·c,  a´⋅b⋅c. Se puede observar que cada minterm
tiene una interpretación verdadera para una única combinación de valores de las
variables. 
MAXITERMINO:
Un maxitérmino o maxterm es una cláusula formada por n literales (positivos o
negativos) conectados únicamente por la disyunción lógica (OR). Por ejemplo, los
siguientes términos son maxterms: a+b+c, a´+b+c,  a+b+c´
PASOS PARA REALIZAR UNA SUMA DE MINITERMINOS:
Una suma de productos estándar es aquella en la que todas las variables del dominio
aparecen en cada uno de los términos de la expresión.
Por ejemplo:
AB'CD + A'B'C D' + A B C'D'
Cualquier suma de productos no estándar o suma de productos puede convertirse al formato
estándar utilizando algebra booleana.
Cada término de una suma de productos que no contenga todas las variables del dominio se
puede convertir a forma estándar para incluir todas las variables de dominio y sus
complementos. Los siguientes pasos, para una suma de productos no estándar se convierte a
su forma estándar utilizando la regla A + A'=1.
1) Multiplicar cada término no estándar por un término formado por la suma de la variable
que falta y su complemento.
2) Al convertir cada producto a su forma estándar, el número de términos producto se
duplica por cada variable que falta.
Ejemplo:
ABC + A'B' + AB'CD
El dominio de esta suma de productos es A, B, C, D. Debemos considerar cada término por
separada, el primer término ABC, le falta la variable D o D', por lo que se multiplica por (D
+ D').

ABC (D + D’) = ABCD + ABCD'

El resultado es dos productos estándar.
El segundo término A'B' faltan las variables C o C' y D o D'. Primero se multiplican por C
+ C'.
A'B'(C + C') = A'B'C + A'B'C'
después cada termino se multiplica por D + D'
A’B’C (D + D’) = A'B'C D + A'B'C D'
A'B'C'(D + D’) =A'B'C'D + A'B'C'D'

El tercer término esta en formada estándar.

La forma estándar de la suma de productos es:
ABCD + ABCD' + A'B'C D + A'B'C D' + A'B'C'D + A'B'C'D'+ A B'C D

PASOS PARA REALIZAR UN PRODUCTO DE MAXITERMINOS:

Un producto de sumas estándar es aquel en el que todas las variables dominio o sus
complementos aparecen en cada uno de los términos de la expresión.
Por ejemplo:
(A + B + C' + D) (A' + B + C + D’) (A + B + C + D)
Cualquier producto no estándar puede convertir a su formato estándar utilizando la regla
A.A'=0 que establece que una variable multiplicada por su complemento es igual a cero.
1)Agregar a cada término no estándar un término formado por la variable que falta y su
complemento.
2)Aplicar la regla A + BC = (A + B) (A + C)
Ejemplo:
(A + B' + C) (B+ C + D) (A + B' + C + D)

(A + B' + C + DD')=(A + B' + C + D)(A + B' + C + D')

(B + C + D +A. A’) = (A + B + C + D) (A' + B + C + D)

El resultado de la conversión es:

 
(A + B' + C + D) (A + B' + C + D’) (A + B + C + D) (A' + B + C + D) (A + B' + C + D)
 

UTILIDAD DE UNA TABLA DE LA VERDAD

Las tablas de verdad son un método para saber si una fórmula molecular (es decir, formada
por varias proposiciones) es siempre V, a veces V o nunca V (es decir, siempre F). Si los
valores son siempre V tenemos una Tautología, si siempre son F estamos ante una
contradicción. Como hemos dicho, cualquier proposición puede tener valor V (verdadero) o
F (falso). Cuando hacemos una tabla de verdad asignamos todas las combinaciones posibles
de valores para esas variables proposicionales.
Las tablas de verdad es una estrategia de la lógica simple que permite establecer la validez
de varias propuestas en cuanto a cualquier situación, es decir, determina las condiciones
necesarias para que sea verdadero un enunciado propuesto.

MAPA DE KARNAUGH
Un mapa de Karnaugh (abreviado mapa K) es una herramienta gráfica usada para
simplificar una ecuación lógica o para convertir una tabla de verdad en su correspondiente
circuito lógico. Aunque un mapa K puede usarse para resolver problemas con cualquier
número de variables de entrada en la práctica se usa como máximo para cinco o seis
variables.

MATEMÁTICA DISCRETA:
La matemática discreta es la parte de la matemática que se dedica al estudio de los objetos
discretos. (Aquí-discreto significa constituido por elementos distintos o inconexos).
la matemática discreta se. usa siempre que se cuentan objetos, cuando se estudian
relaciones entre conjuntos finitos (o numerables) y cuando se analizan procesos con un
número finito de pasos. Una razón fundamental para el crecimiento de la importancia de la
matemática discreta es que en equipos informáticos la información se almacena y manipula
de forma discreta.
La matemática discreta estudia estructuras cuyos elementos pueden contarse uno por uno
separadamente. En cambio, la matemática continua estudia conceptos como la continuidad
y el cambio continuo. Es decir, los procesos en matemática discreta son finitos y contables.
En matemática, discreto significa separado y distinto, es lo opuesto a continuo. La
matemática discreta estudia las estructuras discretas, tales como los conjuntos finitos, los
números enteros y los grafos.
La matemática discreta surge como una disciplina que unifica diversas áreas tradicionales
de las Matemáticas:
• Lógica • Algoritmos • Aritmética. Aritmética modular • Combinatoria (arte de contar) •
Probabilidad • Geometría discreta (por ejemplo: poliedros) • Teoría de grafos