Operadores Lógicos por álgebra proposicional 

Resolución de ejercicios: 

(¬r v p) v (¬p v ¬r) 

(¬r v ¬r) v (p v ¬p) 

     ¬r      v     1 

               1   

q v ¬(¬r ^ q) 

q v ¬[¬(r v q) 

q v (r v q) 

r v (q v q) 

r v 1 

  1