LOGICA MATEMATICA

COMPARACIÓN, RELACIÓN, COMPROBACIÓN DE LA LÓGICA PROPOSICIONAL CON LÓGICA DE COMPUERTA (PRIMERA PARTE).

Objetivó: Que Al termino de esta practica el alumno sea capaz de entender las tablas de (la verdad) de lógica proposicional con las compuertas

“AND” OR” “NOT”.

Yaroslaf Albarrán

Olguín Hernández francisco Javier

ISI V-1

LA LOGICA PROPOSICIONAL O LÓGICA DE ORDEN CERO

Es un sistema formal sus elementos más simples representan proposiciones, cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.1

La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades.

La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia logica de proposiciones a partir de proposiciones,

Lógica Positiva

En esta notación al 1 lógico le corresponde el nivel más alto de tensión y al 0 lógico el nivel más bajo, pero que ocurre cuando la señal no está bien definida. Entonces habrá que conocer cuáles son los limites para cada tipo de señal (conocido como tensión de histéresis), en este gráfico se puede ver con mayor claridad cada estado lógico y su nivel de tensión.

Lógica Negativa

Aquí ocurre todo lo contrario, es decir, se representa al estado "1" con los niveles más bajos de tensión y al "0" con los niveles más altos.

Por lo general se suele trabajar con lógica positiva, la forma más sencilla de representar estos estados es como se puede ver en el siguiente gráfico.

Compuertas Lógicas

Las compuertas lógicas son dispositivos que operan con aquellos estados lógicos mencionados en lo anterior y funcionan igual que una calculadora, de un lado ingresas los datos, ésta realiza una operación, y finalmente, te muestra el resultado.

Cada una de las compuertas lógicas se las representa mediante un Símbolo, y la operación que realiza (Operación lógica) se corresponde con una tabla, llamada Tabla de Verdad,

Compuerta NOT

Se trata de un inversor, es decir, invierte el dato de entrada, por ejemplo; si pones su entrada a 1 (nivel alto) obtendrás en su salida un 0 (o nivel bajo), y viceversa. Esta compuerta dispone de una sola entrada. Su operación lógica es igual a a invertida

Compuerta AND

Una compuerta AND tiene dos

...