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) pp v (p q) pp (-p v q) p qp v (-p q) p v q

14. Equivalencias:p V pp v F pp F Fp v V V