p
q
r is a disjunction composed
of three disjuncts
p, q, and r (assuming
the usual conventions about the associativity of
). Thus, this disjunction can only evaluate to T if at least one of its
disjuncts evaluates to T. But under the given evaluation, this is not the case.