1. La lógica matemática es una parte de la lógica y las matemáticas, que
consiste en el estudio matemático de la lógica y en la aplicación de
este estudio a otras áreas de las matemáticas. La lógica matemática
tiene estrechas conexiones con las ciencias de la computación y la
lógica filosófica.
Este apartado trata de dar un concepto intuitivo de las materias que
conciernen a la lógica (y dentro de ella de las que nos van a interesar
a nosotros).

2. Debemos comenzar diciendo que no hay un acuerdo unánime sobre ciertos
temas:
¿Trata la lógica de como piensa la gente o de como debería pesar?
¿Le interesa principalmente el lenguaje?
¿Los lenguajes formales empleados en lógica son modelos del lenguaje natural
o pretenden remplazarlo?
Un circuito combinatorio es un arreglo de compuertas lógicas con un conjunto
de entradas y salidas. Las n variables de entrada binarias vienen de una fuente
externa, las m variables de salida van a un destino externo, y entre éstas hay
una interconexión de compuertas lógicas. Un circuito combinatorio transforma
la información binaria de los datos de entrada a los datos de salida requeridos.
Un circuito combinatorio puede describirse mediante una tabla de verdad que
muestre la relación binaria entre la n variable de entrada y las m variables de
salida. Puede especificarse también con m funciones booleanas, una por cada
variable de salida. Cada función de salida se expresa en término de la n
variables de entrada.

3. El análisis de un circuito combinatorio comienza con un diagrama de circuito lógico
determinado y culmina con un conjunto de funciones booleanas o una tabla de verdad. El
diseño de circuitos combinatorios parte del planteamiento verbal del problema y termina
con un diagrama de circuito lógico.
Pasos:
1-Seestablece el problema
2- Se asignan letras a las variables de entrada y salida
3- Se deriva la tabla de verdad que define la relación entre entradas y salidas
4- Se obtienen las funciones booleanas simplificadas para cada salida
5- Se traza el diagrama lógico