Lgica

Proposicional

Prof. Claudia Echevarria

Camargo

[LGICA PROPOSICIONAL]

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

p
A

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

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

Bq

[LGICA PROPOSICIONAL]

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.

[LGICA PROPOSICIONAL]

Circuito en serie

Circuito en paralelo

[LGICA PROPOSICIONAL]

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

Analizando la expresin:

~q)

~p

[LGICA PROPOSICIONAL]

Circuito en serie

(p

~q)

~ p

Circuito en paralelo

El circuito asociado es:

Otro ejemplo:
p

(q

~r)

(r

~q)

Analizando la expresin:

( q

Circuito

Circuito

en paralelo

en paralelo

~ r )

Circuito en serie

( r

~ q )

[LGICA PROPOSICIONAL]

Resumiendo:

Simplificacin de expresiones lgicas

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

[LGICA PROPOSICIONAL]

1. Ley de identidad: p

2. Ley de involucin: ~(~p)

3. Leyes de asociatividad:
a. De la Conjuncin: (p

q)

(q

r)

b. De la disyuncin: (p

q)

(q

r)

4. Leyes de conmutatividad:
a. De la Conjuncin: (p q)(q
b. De la disyuncin: (p q)

p)
(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)

(p

r) (q

r)

6. Leyes idempotentes

7.

a. De la Conjuncin: (p

p)p

b. De la disyuncin: (p

p)

(q

p)

a. De la Conjuncin: ~(p q)~p

~q

Leyes de absorcin:
P

(q

p)

8. Leyes de De Morgan:

b. De la disyuncin:~ (p q)

~p

~q

[LGICA PROPOSICIONAL]

9. Ley de silogismo hipottico:

[(p

q)

(q

r)]

(p

r)

Ley de reduccin de la implicacin:

10.

(p

q)

11.

~p es verdadero

12.

~p es Falso

13.

V (V: verdadero)

14.

15.

16.

Ejemplo 1: Simplificar (p

q)

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

(~p

(p

q)

~q)

Aplicando la propiedad 5

~q)

b) Aplicando propiedad 11

Aplicando propiedad 14

p
Luego, (p

q)

(p

~q)

Ejemplo2: Simplificar (p
(p
(p

q) ~p

~p) (q
F

(q ~p)
q ~p

~p)

(es equivalente a ) p

q) ~p
Aplicando propiedad 5 a)
Aplicando propiedad 12
Aplicando propiedad 15

[LGICA PROPOSICIONAL]
Luego, (p

q) ~p

(es equivalente a) q

Ejemplo3: Simplificar ~ (p
~(p

q)

(~p

(~p ~q )
~p

(~p

(~q
~p

q)
q)

q)

q)

(~p

~p

q)

Aplicando propiedad 8 b) en el primer parntesis

Aplicando propiedad 5 a)
Aplicando propiedad 11

Aplicando propiedad 13

~p
Luego, ~ (p

q)

(~p

q)

(es equivalente a) ~p