Leyes del Algebra de Proposiciones Realizado por: Dainée A. Velásquez T. #19
Leyes Idompotente P V I P ^ I P ^ I Es una tautología por lo tanto es una equivalencia lógica, y la ley se cumple
Leyes Asociativas (p V q) R P (q r) I (p ^ q) r p (q r) I (p ^ q) r p (q r) I Es una tautología por lo tanto es una equivalencia lógica, y la ley se cumple
Leyes Conmutativas p v q I p ^ Q q I p ^ Q q I Es una tautología por lo tanto es una equivalencia lógica, y la ley se cumple
Leyes Distributivas p ^ (q v r) (p q) I p ^ (q v r) (p q) I Es una tautología por lo tanto es una equivalencia lógica, y la ley se cumple
Leyes de Identidad o de Elemento Neutro
Leyes de Dominación
Leyes de Complementación
Leyes de De Morgan