| Term 
 | Definition 
 
        | P si entonces p  es igual a V 
 P sssi p = V
 ley de idempetencia
 |  | 
        |  | 
        
        | Term 
 | Definition 
 
        | P Y P es igual a p P yo es igual a p
 ley de identidad
 |  | 
        |  | 
        
        | Term 
 
        | p ∧ (p ∨ q)=p p ∨(p ∧ q)= p
 p ∧ ( ¬p  ∨ q)= p ∧ q
 ley de absorción
 |  | Definition 
 
        | p y guion (p yo q)=p p yo(p y q)=p
 p y(negación de p y q) =p y q
 p yo guion negacion p y q = p yo q
 |  | 
        |  | 
        
        | Term 
 
        | Ley asociativa p ∧ q ∧ r =p ∧(q ∧ r)= ( p ∧ q) ∧ r
 p ∨ q ∨ r= p ∨ (q ∨ r) = (p ∨ q) ∨ r
 |  | Definition 
 
        | p y q y  r igual a p y guion q y r igual q cierro parestesis y r 
 P yo q y r py guion q yo r igual p yo q yo r
 |  | 
        |  |