PROPIEDADES DE LOS OPERADORES METALOGICOS

Doble negacin
(

P) P

Idempotencia
a) P P P
b) P P P
Conmutativa
a) (p q) (q p)
b) (p q ) (q p)
c) P q q p
Asociativa

(p q) r
p (q r) (p q) r
p (q r) (p q) r

a) p (q r)
b)
c)

Distributiva

(p q) (p r)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
p (q r ) (p q) (p r)

a) p (q r)
b)
c)
d)

De Demorgan
a)
b)

(p
(p

q)

q)

p q
p q

Condicional

a) p
b)

(p

q)

p q

Bicondicional
a)
b)

(pq) (p q) (q p)
(pq) (p q) ( p q)

Absorcin
a) p (p q)

 pq
( p q) p
( p q) p q

b) p
c) p
d) p

p q)

Transposicin
a)
b)

(p
(p

q)

q)

Elementos Neutros

p
F (contradiccin) p

a) p V (tautologa)
b) p

Transitividad
a)
b)

(p
(p

q) (p q)

q)

q) (p

FORMULARIO
Circuito serie
= Serio
Circuito paralelo
= Paralelo
Conjuncin
= 2 V es V los dems F
Disyuncin
= 2 F es F los dems V
Implicacin o condicional
= VF es F los dems F
L a bi implicacin
= 2V es V los dems F
2F
Disyuncin exclusiva
= 2V = F los dems V
2F
Conjuncin negativa
=2F=V los dems F

a)