CIRCUITO LGICOS

Lgica (concepto) La Lgica es la Ciencia que expone las leyes, modos y formas de raciocinio.Aporte de la Lgica a la Matemtica De acuerdo al concepto anterior, podemos asegurar que la simbologa que usa la lgica, ayuda a la Matemtica en todos sus razonamientos.-

Proposicin
Esta es el significado de una idea, enunciado, conjunto de palabras o letras a las que se les puede asignar uno y slo uno de los valores de verdad, que pueden ser:
VERDADERO (V) o FALSO (F)

Por ejemplo:
Hoy es lunes

Toda proposicin se la representa con letras minsculas y preferentemente las ltimas del abecedario, o sea:
p, q, r, s, t, u

LOS CONECTIVOS LOGICOS

Son smbolos que sirven para formar proposiciones con otras proposiciones. Estos son:

b -: NO : Y : O EN SENTIDO INCLUYENTE : ENTONCES O IMPLICA : SI Y SOLO SI : O EN SENTIDO EXCLUYENTE

Hoy en da, la lgica proposicional que estudiamos en este captulo, tiene una importancia singular dada su aplicacin en los llamados "CIRCUITOS LGICOS" de uso en la electrnica y la informtica. Estas son funciones que suelen denominarse funciones funciones booleanas, booleanas ya que responden al lgebra de Boole lgebra Boole.

Circuitos lgicos o booleanas

La verdad de una proposicin puede asociarse al pasaje de corriente en un circuito elctrico con un interruptor. As, para representar a p, si es F, se tiene: p y para p, si es V, se tiene: p Es decir, el interruptor se cierra si p es V y se abre si p es F.

 Podemos, as, representar las operaciones proposicionales mediante circuitos con tantos interruptores como proposiciones componentes, combinados en serie o paralelamente. Veremos, a continuacin, como representar en forma booleana las operaciones que surgen de operar con dos proposiciones mediante los conectivos lgicos que conocemos.

Conjuncin

Este circuito admite el pasaje de corriente, es decir la verdad de p q, slo si ambas son V (comprobar en la tabla de verdad de la conjuncin).

Disyuncin Est representada por un circuito en paralelo.

Como vemos, admite el pasaje de corriente cuando al menos una de las dos es V (comprobar en la correspondiente tabla de verdad).

Es decir, convertimos la
implicacin en una disyuncin para poder representarla mediante un circuito booleano. Tenemos, as