EQUIVALENCIAS NOTABLES

1.

CONMUTACIN.

p V q. . q V p

7.

p q . . q p

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

p q. . q p

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

2.

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

ASOCIATIVIDAD.

p (q r ) . . ( p q ) r
p V (q V r ) . . ( p V q ) V r
p (q r ) . . ( p q ) r
3.

DOBLE NEGACIN.

~~ p p
~~~ p ~p
4.

IDEMPOTENCIA.

TEOREMAS DE DE MORGAN.

~(p Vq) . . ~p ~q
8.

DEFINICIN DEL CONDICIONAL.

p q . . ~ p V q
p q . . ~ (p~q)
9.

DEFINICIN DEL BICONDICIONAL.

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

p p . . p
p V p . . p

10.

5.

p q . . ~q ~p

DISTRIBUCIN.

( p . V . q r ) (p V q . . p V r )
( p . . q V r ) (p q . V . p r )
6.

ABSORCIN.

(p q) V P. .p
(p V q) P. .p

TRANSPOSICIN.

p q . . ~q ~p