Question 179372
yes that is correct
:
(p^~q)==>~r
:
Mike is sailing and Alice is not on vacation implies that Sam is not
in town.