Tom, Kevin, and Monica are mercenaries who are boasting about the amounts of their last contracts. However, because financial matters are sensitive even to mercenaries, they're being coy about the actual amounts.
After much bickering, they've been able to determine the following facts: ?
If Tom is not the highest paid person, Kevin must be the highest paid. ?
If Kevin is not the lowest paid person, Monica must be the highest paid.
Use a truth table to determine who was paid the most and who was paid the least. Assume that they are all paid different amounts.
(Hint: Define four propositions. The first three are for each person being the highest paid, and the last one is for Benjen being the lowest paid. You will get more than one row in the table that seems to fit the given facts, but think carefully about whether you can eliminate any of those rows.)