Equivalencias Notables
Equivalencias Notables
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.
p q . . ~ p V q
p q . . ~ (p~q)
9.
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