Los planetas reflejan luz si y sólo si las estrellas la emiten y los planetas giran alrededor de ellas
as estrellas emiten luz o los planetas la reflejan y, por otra parte, los planetas giran alrededor de ellas
Si las estrellas emiten luz, entonces los planetas la reflejan y giran alrededor de ellas
Si no es cierto que las estrellas emiten luz y que los planetas la reflejan, entonces éstos no giran alrededor de ellas
¬(p∧q) → ¬r
p → (q∧r)
(p v q) ∧ r
q ↔(p∧ r)