Lgica Proposicional

Parte IV Asignatura: Matemtica

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte IV

Circuitos lgicos
El siguiente diagrama representa parte de un circuito elctrico.
A p p A B B

Cuando el interruptor p est abierto, la electricidad que fluye desde A a B no llega. Cuando el interruptor p est cerrado como en el segundo diagrama, la electricidad fluye de A a B recorriendo el circuito. Existen dos tipos de circuitos: en serie y en paralelo. Circuito en serie El circuito representado en el siguiente diagrama muestra dos interruptores, p y q, conectados en serie, es decir, dispuestos de tal forma que la corriente pasa de un polo A a otro B slo si ambos interruptores estn cerrados.
p q A B

Circuito en paralelo Este otro tipo de circuito presenta dos interruptores p y q conectados en paralelo, es decir, dispuestos en forma tal que la corriente pasa del polo A al polo B slo si uno de los interruptores est cerrado o bien si ambos lo estn.
p B q

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte IV

Circuitos lgicos y tablas de verdad Dado un circuito elctrico, se considera un interruptor asociado a una proposicin p, de forma tal que:

Como en el circuito en serie la corriente pasa slo si los dos interruptores dejan pasar la corriente, el circuito en serie corresponde a la conjuncin de proposiciones y el circuito en paralelo a la disyuncin de proposiciones.

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte IV

Circuito en serie

Circuito en paralelo

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte IV

Combinando circuitos El siguiente circuito se trata de un circuito en paralelo, pero a su vez, en cada rama del mismo existen dos interruptores conectados en serie, su expresin simblica es: (p q) (p ~q)

Otro ejemplo, dado el siguiente circuito, su expresin simblica es: q (q ~p)

En los siguientes ejemplos seguiremos el camino inverso, es decir, dada la expresin simblica dibujaremos el circuito correspondiente: (p ~q) ~p r

Analizando la expresin:

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte IV

Circuito en serie

( p

~ q )

~ p

Circuito en paralelo

El circuito asociado es:

Otro ejemplo: p (q ~r) (r ~q) Analizando la expresin:

Circuito en paralelo

Circuito en paralelo

( q

~ r )

( r

~ q )

Circuito en serie

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte IV

Resumiendo:

Simplificacin de expresiones lgicas Utilizando las siguientes leyes lgicas simplificaremos expresiones complejas para obtener expresiones equivalentes ms simples:

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte IV

1. Ley de identidad: p p 2. Ley de involucin: ~(~p) p 3. Leyes de asociatividad: a. De la Conjuncin: (p q) r p (q r) b. De la disyuncin: (p q) r p (q r) 4. Leyes de conmutatividad: a. De la Conjuncin: (p q) (q p) b. De la disyuncin: (p q) (q p) 5. Leyes de distributividad: a. De la Conjuncin respecto de la disyuncin (p q) r (p r) (q r) b. De la disyuncin respecto de la conjuncin (p q) r (p r) (q r) 6. Leyes idempotentes a. De la Conjuncin: (p p) p b. De la disyuncin: (p p) p 7. Leyes de absorcin: P (q p) p (q p) p 8. Leyes de De Morgan: a. De la Conjuncin: ~(p q) ~p ~q b. De la disyuncin:~ (p q) ~p ~q

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte IV

9. Ley de silogismo hipottico: [(p q) (q r)] (p r) 10. Ley de reduccin de la implicacin: (p q) (~p q) 11. 12. 13. 14. 15. 16. p ~p es verdadero p ~p es Falso p V V (V: verdadero) pVp pFp pFF

Ejemplo 1: Simplificar (p q) (p ~q)

(p q) (p ~q). p (q ~q) pV p

Aplicando la propiedad 5 b) Aplicando propiedad 11 Aplicando propiedad 14

Luego, (p q) (p ~q) (es equivalente a ) p Ejemplo2: Simplificar (p q) ~p (p q) ~p (p ~p) (q ~p) F (q ~p) q ~p Aplicando propiedad 5 a) Aplicando propiedad 12 Aplicando propiedad 15

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte IV

Luego, (p q) ~p (es equivalente a) q ~p

Ejemplo3: Simplificar ~ (p q) (~p q) ~(p q) (~p q) (~p ~q ) (~p q) ~p (~q q) ~p V ~p Luego, ~ (p q) (~p q) (es equivalente a) ~p
Aplicando propiedad 8 b) en el primer parntesis

Aplicando propiedad 5 a) Aplicando propiedad 11 Aplicando propiedad 13

Prof. Lloret Viviana