(
r
(p
q)) is the negation of
r
(p
q) it suffices
to show that the latter formula evaluates to F. Since this formula is
an implication, this can only happen if its premise
r evaluates to T and its conclusion
p
q evaluates to F. The former is
the case since r gets assigned F. The latter is true since q has value
F.