[(pvq)->(p^q)]->r = F
....V.......F......F
!------------------!
........V...........F
!-----------------------!
..............F.......
Obtenemos:
(pvq)=V
(p^q)=F
r=F
Lo que nos pide:
(~p ^ ~q)-> ~r
por morgan:
~(pvq)->~r
..~V......~F
.....F..->..V
......... V nos resulta una tautologia.
