q )
(r
q). Although the first six row
entries reflect the semantics of this formula, it does give the wrong
result in row 7. There, p and q are false but r is true, making the
formula evaluate to T, since (p
q ) evaluates to T. In column 2, that result is claimed
to be F.