Si la proposición compuesta:
[~p /\ ~(~p)] <=> [(q /\ ~r) => (s \/ p)]
es verdadera, halla el valor de verdad de las proposiciones p,
q, r y s, respectivamente.