1.

¬¬p⇔p Doble Negación

2a. (p ∨ q) ⇔ (q ∨ p)
b. (p ∧ q) ⇔ (q ∧ p) Leyes Conmutativas
c. (p  q) ⇔ (q  p)
3a. [(p ∨ q) ∨ r] ⇔ [p ∨ (q ∨ r)]
Leyes Asociativas
[(p ∧ q) ∧ r] ⇔ [p ∧ (q ∧ r)]

Tabla 1. Equivalencias Lógicas (Leyes de la Logica)

b.
4a. [p ∨ (q ∧ r)] ⇔ [(p ∨ q) ∧ (p ∨ r)]
Leyes Distributivas
b. [p ∧ (q ∨ r)] ⇔ [(p ∧ q) ∨ (p ∧ r)]
5a. (p ∨ p) ⇔ p
Leyes de idempotencia
b. (p ∧ p) ⇔ p
6a. (p ∨ F) ⇔ p
b. (p ∨ V) ⇔ V
Leyes de identidad
c. (p ∧ F) ⇔ F
d. (p ∧ V) ⇔ p
7a. (p ∨ ¬p) ⇔ V
Leyes inversas
b. (p ∧ ¬p) ⇔ F
8a. ¬(p ∨ q) ⇔ (¬p ∧ ¬q)
b. ¬(p ∧ q) ⇔ (¬p ∨ ¬q)
Leyes de Morgan
c. (p ∨ q) ⇔ ¬(¬p ∧ ¬q)
d. (p ∧ q) ⇔ ¬(¬p ∨ ¬q)
9. (p → q) ⇔ (¬q → ¬p) Contrapositiva
10a. (p → q) ⇔ (¬p ∨ q)
Implicacion
b. (p → q) ⇔ ¬(p ∧ ¬ q)
11a. (p ∨ q) ⇔ (¬p → q)
b. (p → q) ⇔ ¬(p ∧ ¬p)
12a. [(p → r) ∧ (q → r)] ⇔ [(p ∨ q) → r]
b. [(p → q) ∧ (p → r)] ⇔ [p→(q ∧ r)]
13. (p  q) ⇔ [(p → q) ∧ (q → p)] Equivalencia
14. [(p ∧ q) → r] ⇔ [p → (q → r)] Ley de Exportacion
15. (p → q) ⇔ [(p ∧ ¬q) → F]
Reduccion al absurdo
[p → (q ∧ ¬q)] ⇔ ¬p
a. p ∨ (p ∧ q) ⇔ p
Leyes de Absorcion
b. p ∧ (p ∨ q) ⇔ p
p q ⇒ (p ∧ q) Adjuncion o Conjuncion

Tabla 2. Implicaciones Logicas (Reglas de inferencia)

16. p ⇒ (p ∨ q) Adicion
17. (p ∧ q) ⇒ p
Simplificacion
(p ∧ q) ⇒ q
18. (p → F) ⇒ ¬p
Absurdo o contradicción
(¬p → F) ⇒ p
19. [p ∧ (p → q)] ⇒ q Modus Ponens
20. [(p → q) ∧ ¬q] ⇒ ¬p Modus Tollens
21. [(p ∨ q) ∧ ¬p] ⇒ q
Silogismo Disyuntivo o Tollendo Ponens
[(p ∨ q) ∧ ¬q] ⇒ p
22. p ⇒ [q → (p ∧ q)]
23. [(p  q) ∧ (q  r)] ⇒ (p  r) transitiva de 
24. [(p → q) ∧ (q → r)] ⇒ (p → r) Transitiva de → o silogismo hipotético
25a. (p → q) ⇒ [(p ∨ r) → (q ∨ r)]
b. (p → q) ⇒ [(p ∧ r) → (q ∧ r)]
c. (p → q) ⇒ [(q → r) → (p → r)]
26a. [(p → q) ∧ (r → s)] ⇒ [(p ∨ r) → (q ∨ s)]
b. [(p → q) ∧ (r → s)] ⇒ [(p ∧ r) → (q ∧ s)]
Dilemas Constructivos
c. [(p → q) ∧ (r → s) ∧ (p ∨ r)] ⇒ (q ∨ s)
d. [(p → q) ∧ (r → s) ∧ (p ∧ r)] ⇒ (q ∧ s)
27a. [(p → q) ∧ (r → s)] ⇒ [(¬q ∨ ¬s) → (¬p ∨ ¬r)]
b. [(p → q) ∧ (r → s)] ⇒ [(¬q ∧ ¬s) → (¬p ∧ ¬r)]
Dilemas Destructivos
c. [(p → q) ∧ (r → s) ∧ (¬q ∨ ¬s)] ⇒ (¬p ∨ ¬s)
d. [(p → q) ∧ (r → s) ∧ (¬q ∧ ¬s)] ⇒ (¬p ∧ ¬r)
28. [(p ∧ q) ∧ (p → (q → r))] ⇒ r Regla de Demostracion Condicional
29. [(p → r) ∧ (q → r)] ⇒ [(p ∨ q) → r] Regla de Demostracion por Casos