Aplico las reglas para demostrar que las conclusiones son válidas.
(DvF)
1)A.B P
2)C<=> (-Av-B) P
3)CvB
4
5
6​