Академический Документы
Профессиональный Документы
Культура Документы
CAD HUANUCO
Circuito Lgico
Econ Plider Vsquez Ramn
2015
Qu es la Lgica?:
Conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente
los valores de verdad de dos proposiciones, devolviendo el valor de verdad
verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro
caso.
La tabla de verdad de la conjuncin es la siguiente:
Operadores Bsicos de la Tabla de la Verdad:
Disyuncin
La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente
los valores de verdad de dos proposiciones, devolviendo el valor de verdad
verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y
falso cuando ambas son falsas.
La tabla de verdad de la disyuncin es la siguiente:
Implicacin o Condicional
El condicional material es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, y
verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:
Operadores Bsicos de la Tabla de la Verdad:
Bicondicional
El 0 lgico
El valor booleano de negacin suele ser representado como false, aunque tambin
permite y equivale al valor natural, entero y decimal (exacto) 0, as como la cadena
"false", e incluso la cadena "0".
El 1 lgico
En cambio, el resto de valores apuntan al valor booleano de afirmacin,
representado normalmente como true, ya que, por definicin, el valor 1 se tiene
cuando no es 0. Cualquier nmero distinto de cero se comporta como un 1 lgico, y
lo mismo sucede con casi cualquier cadena (menos la "false", en caso de ser sta la
correspondiente al 0 lgico).
Isomorfismo:
PRIMER ISOMORFISMO
Una proposicin simple puede ser verdadera o falsa. De igual manera
podemos decir que un interruptor puede estar cerrado o abierto.
Ser verdadero es como estar cerrado y ser falso es como estar abierto. Las
posibilidades son anlogas:
V = 1 = interruptor cerrado pasa la informacin
V = 0 = interruptor abierto no pasa la informacin
SEGUNDO ISOMORFISMO
Ahora bien, una proposicin compuesta puede ser verdadera o falsa. De
igual manera, si fluye la informacin entonces el foquito encender, y si no fluye
entonces el foquito no encender.
El estado de encendido y apagado corresponde a los valores de verdad y
falsedad respectivamente. De nuevo, las posibilidades son anlogas:
V = 1 = foco prendido la informacin est pasando
F = 0 = foco apagado la informacin no est pasando
Compuerta Lgica
Una puerta Lgica, o compuerta Lgica, es un dispositivo electrnico
que es la expresin fsica de un operador booleano en la Lgica de conmutacin.
Cada puerta Lgica consiste en una red de dispositivos interruptores que cumple las
condiciones booleanas para el operador particular. Son esencialmente circuitos de
conmutacin integrados en un chip.
Circuito
Lgico
Circuito Lgico:
Son estructuras formales (sistemas abstractos) que representan sistemas
para la transmisin de informacin de toda ndole (desde la electricidad hasta datos
informticos) simulando el comportamiento real de un circuito elctrico.
Compuerta And: La operacin And requiere que todas las seales sean
simultneamente verdaderas para que la salida sea verdadera. As, el
circuito de la figura necesita que ambos interruptores estn cerrados para
que la luz encienda.
En una compuerta AND con entradas A y B, la salida Y resulta: Y = AB
Circuito Lgico (Compuertas Bsicas):
Compuerta And: Los estados posibles del circuito se pueden modelar en la Tabla
de Verdad que tiene asociada. Sabemos que los interruptores slo pueden tener dos
estados, abiertos o cerrados, si el interruptor abierto se representa mediante el cero
(0 o falso) y el cerrado mediante el valor uno (1 o verdadero) entonces en la tabla de
verdad asociada se puede ver la situacin que se describa en el prrafo anterior,
cuando se deca que la luz slo prende cuando ambos interruptores estn cerrados,
es decir, si A = 1 y B = 1 entonces L = 1.
Note que en el circuito los interruptores estn en paralelo, por lo cual basta
que uno de ellos est cerrado para que el circuito se cierre y encienda la luz.
En una compuerta OR con entradas A y B, la salida Y resulta: Y = A+ B
Es fcil notar que las tablas correspondientes a las compuertas OR, AND y
NOT son respectivamente idnticas a las tablas de verdad de la disyuncin, la
conjuncin y la negacin en la lgica de enunciados, donde slo se ha cambiado V y
F por 0 y 1. Por lo tanto, los circuitos lgicos, de los cuales tales compuertas son
elementos, forman un lgebra de Boole al igual que los enunciados de la lgica de
enunciados.
Circuito Lgico:
Adoptaremos, entonces, aqu las mismas convenciones adoptadas en el
caso del lgebra de Boole:
- Diagrama de flujo
- Algebra de Boole
- Lgica Proposicional
- Tabla de la verdad
- Circuito Elctrico (en serie y en paralelo)
Diseo Circuito Lgico:
Lo primero que se hizo fue comprobar mediante una serie de pasos
ordenados y lgicos, las diferentes combinaciones de las reglas de la disyuncin
conjuncin y negacin enfocndonos solo en el uso de 2 variables y los diferentes
resultados posibles.
Led Verde = 1
Led Rojo = 0
Tablas de la verdad Circuito Lgico:
A continuacin se presentan las tablas de la verdad realizadas para nuestras deducciones:
Decisin Decisin
(P) (Q)
Disyuncin Negacin
Disyuncin Conjuncin
(P ^ Q) (P Q) ~(P^Q)
(~P ~Q) (~P ^ ~Q)
Decisin
Decisin
Condicional Bicondicional
Disyuncin
[(P ^ Q) (P Q) --> (~P ~Q] (P ^ Q) (P Q) <> (~P ~Q) Bicondicional
~(P^Q) ^ (~P ^ ~Q)
[~(P^Q) <> (~P ~Q)]
Decisin Decisin
Diseo Circuito Lgico:
Para lograr que el circuito solo le permitiera al usuario una sola va posible
para la tautologa, se realizaron las conexiones de manera tal que solo el uso de las
reglas lgicas y ordenadas correctas diera la mencionada ley.
Int (3) Int (4) Int (1) Int (3) Int (4) Int (1) Int (4) Int (1) Int (2) Int (4) Int (1) Int (2)
1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0
1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 0
1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0
1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0
0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0
0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0
0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
(P) (Q)
Negacin
(~P ) (~Q)
Disyuncin
Conjuncin (~P ~Q)
(P ^ Q)
Condicional
[(P ^ Q) (P Q) --> (~P ~Q]
Disyuncin
(P ^ Q) (P Q)
Comprobacin Aleatoria
Bicondicional
[~(P^Q) <> (~P ~Q)]
Bicondicional
(P ^ Q) (P Q) <> (~P ~Q)
Conjuncin
(~P ^ ~Q)
Negacin
~(P^Q)
Disyuncin
~(P^Q) ^ (~P ^ ~Q)
Diagrama Elctrico del Circuito Lgico:
Conmutador Conmutador
(P) (Q)
Interruptor
Conmutador
Negacin
(~P ) (~Q)
Conmutador
Disyuncin
(~P ~Q)
Conjuncin
Condicional
(P ^ Q)
Conmutador [(P ^ Q) (P Q) --> (~P ~Q]
Disyuncin
Conmutador (P ^ Q) (P Q)
Comprobacin Aleatoria
Bicondicional
[~(P^Q) <> (~P ~Q)]
Bicondicional
(P ^ Q) (P Q) <> (~P ~Q)
Conjuncin
(~P ^ ~Q)
Negacin
~(P^Q)
Disyuncin
~(P^Q) ^ (~P ^ ~Q)
Bibliografa:
Internet
http://www.unicrom.com/Tut_circuitoslogicos.asp
http://html.rincondelvago.com/circuitos-logicos_1.html
http://es.wikipedia.org/wiki/Lgica
http://www.econ.uba.ar/www/departamentos/humanidades/plan97/logica/Legris/apun
tes/AP-Circuitos.pdf Universidad de Buenos Aires
http://www.slideshare.net/rafael.mora/circuitos-lgicos-presentation