Leyes Lgicas:

1. Identidad:
p p

2. No contradiccin:
p -p F

3. Tercero excluido:
p v p V

4. Idempotencia:
(p p) p
(p v p) p

5. Doble negacin:
p --p

6. De Morgan:
-(p q) (-p v -q)
-(p v q) (-p -q)

7. Conmutacin:
(p q) (q p)
(p v q) (q v p)

8. Asociacin:
[(p q) r] [p (q r)]

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

9. Distribucin:
[p (q v r)] [(p q) v (p r)]
[p v (q r)] [(p v q) (p v r)]

10. Definicin del condicional:

(p q) (-p v q)
(p q) - (p -q)

11. Transposicin:
(p q) (-q -p)

12. Definicin del bicondicional:

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

13. Absorcin:
p (p v q) p
p v (p q) p
p (-p v q) p q
p v (-p q) p v q
14. Equivalencias:
pV p
pvF p
pF F
pvV V