LEYES DE EQUIVALENCIA

EJERCICIOS:

LEYES CONMUTATIVAS:

[(~p q) ^ (r ~q)]

[(r ~q) ^ (~p q) ]

[(qF V p)
V
V VF~q)]
V (p
F
F
VF
F
F V
V
VV
V
V

V
V
V
V
V
V
F
V
F

V
F
V
F
V
V
V
V
F

F
V
V
V
V
V
F
F
F

F
V
F
F
V
V
V
F
V

F F
V V
F
V V
V
V F
F
F F
V V

[(p ~q) (q p)]

V
V
F
V
F
V
F
V
F
V

F
F
V V
V
V FF
F F
V V
V V
V F
F F
V V

V
V
V
V
F
V
V
V
F
F

VF V
F V V
V
F VVF V
F V V
F V F
F V F
V V V
V V V
V F F

SON
EQUIVALENTES
SON
EQUIVALENTES

LEYES ASOCIATIVAS

[(p q) ^ (r s)] ^ (q s)
V
V
V
V
V
V
V
V
F
F
F
F
F
F

V
V
V
V
F
F
F
F
F
F
F
F
V
V

V
V
V
V
F
F
F
F
V
V
V
V
F
F

V
V
V
V
V
V
V
V
F
F
F
F
F
F

V
V
V
V
F
F
F
F
F
F
F
F
V
V

V
V
V
V
F
F
F
F
V
V
V
V
F
F

F
V
V
F
F
F
F
F
F
F
F
F
F
V

V
V
F
F
V
V
F
F

F
V
V
F
F
V
V
F

V
F
V
F
V
F
V
F

V
V
F
F

F
V
V
F
F

V
F
V
F
V

F
V
V
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F

V
V
V
V
V
F
V
F
V
V
V
V
V
F

V
F
V
F
V
F
V
F

F
V
V
F
F
F
V
F
F
V
V
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F

V
V
V
V
V
F
V
F
V
V
V
V
V
F

V
F
V
F
V
F
V
F

V
F
V
F
V

SON
(p q) ^ [ (r s) ^ (q s)]
EQUIVALENTES

F
V
V
F
F
F
F
F
F
F
F
F
F
F

V
V
F
F
V
V
F
F

F
V
V
F
F
V
V
F

V
F
V
F
V
F
V
F

V
V
F
F

F
V
V
F
F

V
F
V
F
V

V
F
V
F
V

LEYES DE IMPOTENCIA

(p q) ^ (p q)
V V V V
V F F F
F V V V

V V V
V F F
F V V

SON
EQUIVALENTES

(p q)
V V V
V F F
F V V

LEYES DISTRIBUTIVAS

(p q) ^ [(r q) (p r)]
V F V
V F V
V V F
V V F
F V V
F V V
F F
F
[(p
V
V
V
V
F
F
F

F
F
V
V
V
V
F

F
F
V
F
V
V
F
q)

V
V
F
F
V
V
F

F
F
V
F
V
V
F

V
F
V
F
V
F
^V
V
F
V
F
V
F
V

V V
V V
V F
F F
V V
V V
V F
(r
V
V
V
F
V
V
V

V
V
F
F
V
V
F

V V V V
V V F F
V V V V
F V F F
V F F V
V F V F
V
F V
q)]F [(p
F
F
V
F
V
V
F

V
V
V
V
F
F
F

F
F
V
V
V
V
F

V
V
F
F
V
V
F

q) ^ (p r)
F
F
V
F
F
V
F

V
V
V
V
F
F
F

(p
Vq) V [(q
(r
q)]
V V
V F
V r)
V V
V V
V
V
V
F
F

V
V
V
V
V

V
F
F
V
V

F
V
F
V
F

V
F
F
V
V

V
V
F
F
V

F
V
F
V
F

V
V
V
V
V

F
V
F
V
F

V
F
V
V
V

V
F
F
V
V

V
F
V
F
F
V
F

V
F
V
F
V
F
V

[(p q) (q r)] [(p q) (r q)]

V
V
V
V
F
F
F

V
V
V
V
V
V
F

V
V
F
F
V
V
F

F
V
V
F
F
V
V

V
V
F
F
V
V
F

F
V
V
F
F
V
V

V
F
V
F
V
F
V

V
V
V
V
V
V
V

V
V
V
V
F
F
F

V
V
V
V
V
V
F

V
V
F
F
V
V
F

V
V
F
V
V
V
V

V
F
V
F
V
F
V

V
V
F
V
V
V
F

V
V
F
F
V
V
F

LEYES DE ABSORCIN

p ^ (p q)
V V V V V
V V V V F
F F F V V

p
V
V
F

SON
EQUIVALENTES

(~p q) ^ [~ (~p q) (r q)]

F V V
F V V
F V F
F V F
V V V
V V V
[(~p
F
V F
F
F
F
F
V
V
V

V
V
V
V
V
V
F

V
V
V
F
V
V
q)
F

V
V
F
F
V
V
F

F
F
F
F
F
F
^V

V
V
V
F
V
V
F

F
F
F
F
V
V
(r V

VV
FV
VV
FF
VV
FV
VV

V V
V V
V F
V F
V V
V V
q)]
F
F

V
V
V
F
V
V
V

V
V
F
F
V
V
F

VV
FV
VV
FF
VV
FV
VV

V
V
F
F
V
V
F

SON
EQUIVALENTES

LEYES DE MORGAN

~ [(p q) (q r)]
F
F
F
F
F
F

V
V
V
V
F
F
F

V
V
F
F
V
V
V

V
V
F
F
V
V
F

V
V
V
V
V
V
V

V
V
F
F
V
V
F

V
F
V
V
V
F
V

V
F
V
F
V
F
V

SON
EQUIVALENTES

~(p q) ^ ~(q r)
F
F
V
V
F
F
F

V
V
V
V
F
F
F

V
V
F
F
V
V
V

V
V
F
F
V
V
F

F
F
F
F
F
F
F

F
V
F
F
F
V
F

V
V
F
F
V
V
F

V
F
V
V
V
F
V

V
F
V
F
V
F
V

[(p q) ^ (q r)]
V V V
V V V
V F F
V F F
F V V
F V V
F V F
~[~(p
V
V
F
F
V
V

F
F
V
V
F
F

V
V
V
V
F
F

V
V
F
F
V
V
V

V
V
F
F
V
V

V
V
F
F
V
V

VVV
VVF
F VV
F F F
VVV
VVF
F V V~(q
q)
F
F
V
V
F
F

F
F
F
V
F
F

V
V
F
F
V
V

V
V
V
F
V
V

r)]
V
F
V
F
V
F

SON
EQUIVALENTES

LEYES IMPLICATIVAS

[(p ^ ~q) ^ (~p r)] (p ~q)

F
V F
V V
V V
V F
F F
F F
~[(p
F F
V
V
V
F
V
V
V
V

V
V
V
V
F
F
F

F
F
V
V
F
F
V
^
V

F
F
F
V
F
F
F
~q)
F

F
F
V
V
F
F
F
F

F
F
V
V
F
F
V
V

F
F
F
V
F
F
F
F

F
F
F
F
V
V
^
V

F
V V
F F
V V
V F
F V
V F
(~p
F V

F
F
F
F
V
V
V

F
V
F
V
V
F
V
F

V
F
V
F
V
F
V

V
V
V
V
V
V

V
V
V
V
F
F
r)]
F
V
V
V
V
V
V
V
V

V
V
V
V
F
F
F

V
V
V
V
F
F

V
V
V
V
V
F
F
V

F
F
V
V
F
F
(p

SON

~q)EQUIVALENTES

F
F
V
V
F
F

LEYES DE LA BIMPLICACIN

[(p q) (r q)] (~q ^ p)

V
V
V
V
F
F
[((p
F

V
V
F
F
V
V
V

V
V
F
F
V
V
q)
F

F F V
F V F V
V
F F V
V F V V
F
V V V
V V V F
V
V V V
V F F F
V
F F
F V F V
V
F
F F
V F V V
F
F

F F(~q ^ Fp)]
F ^ [ (~q ^ p) ((p q)
V (rVV q))

(r q))]
V
V
V
V
F
F
F

V
V
F
F
V
V
V

V
V
F
F
V
V
F

F
V
V
V
F
V
V

VF V
F VV
VVF
FFF
VF V
F VV
VVF

V
F
V
V
V
F
F

FV
FV
VV
VV
FF
F FF
F FF
F
F
V
V

V
F
V
V
V
F
F

SON
EQUIVALENTES

FV
FV
VV
VV
FF
F FF
F FF
F
F
V
V

V
V
V
V
V
V
V

V
V
V
V
F
F
F

V
V
F
F
V
V
V

V
V
F
F
V
V
F

F
V
V
V
F
V
V

VF V
F VV
VVF
FFF
VF V
F VV
VVF

LEYES DE DISYUNCIN FUERTE

[(p q) ^ (~p r)] (q r)

V
V
V
V
F
F
F

V
V
F
F
V
V
V

V
V
F
F
V
V
F

F
V
F
F
V
F
V

F
F
F
F
V
V
V

F
V
F
V
V
F
V
F

V
F
V
F
V
F
V

V
V
V
V
F
F
F

V
V
F
F
V
V
F

V
F
V
V
V
F
V

V
F
V
F
V
F
V

LEYES DE TRANSPOSICIN

(p q) (q ~p)
V F V
V V F
F V V

V
V
F

V F
F V
V F

F
V
F

LEYES ADICIONALES

(p q) F
V V V VF
V F F FF
F F V FF

(~q p) ^ V

F V V V V
V F V F V
LEYES DE DOBLE NEGACIN
F F F F V

~[~(p q)]
V F V V V
F V V F F
V F F V V