(E)
1) p^p <-> p
2) p^q <-> q^p
3) p^(q^r) <-> (p^q)^r
4) p^(qvr) <-> (p^q)v(p^r)
5) p^t <-> p
6) p^c <-> c
7) p^~p <-> c

(OU)
8) pvp <-> p
9) pvq <-> qvp
10) pv(qvr) <-> (pvq)vr
11) pv(q^r) <-> (pvq)^(pvr)
12) pvt <-> t
13) pvc <-> p
14) pv~p <-> t

15) ** p->q <-> ~pvq
16) p<->q <-> (p->q)^(q->p)
17) ~(~p) <-> p
18) ** ~(p^q) <-> ~pv~q
19) ** ~(pvq) <-> ~p^~q

______________________
Obs. C indica contradição
T indica tautologia
** indica "muito importante"
______________________

Essas equivalências valem também para proposições compostas.