## Puzzle Statement

Steve would like to determine the relative salaries of three coworkers using two facts:- First, he knows that if Fred is not the highest paid of three, then Janice is.
- Second, he knows that if Janice is not the lowest paid,, then Maggie is paid the most.

## Quick Solution

Fact 1 says that if Fred is not the highest paid, then Janice is. This results in two situations:- Fred is not the highest paid
- Janice is the highest paid.
- Then by fact 2, Janice is not the lowest pad hence Maggie is the most paid.
- Which contradicts with established truth that Janice is highest paid.
- Hence, this case is incorrect and results in second condition.

- Fred is the highest paid
- Now Maggie can't be the most paid, because Fred is the most paid. Hence, the second statement is false.
- Which means that Janice is lowest paid.

**Janice < Maggie < Fred**

## Solution using propositions to Find the Relative Salary

In the previous puzzle "Identify the Murder", we solved the puzzle with reasoning without formal methodologies. Here we will try to find our way through the propositional calculus and arrive to a situation. Let us consider three statements:- F denotes that, "Fred is highest paid."
- J denotes that, "Janice is lowest paid."
- M denotes that,"Maggie is the most paid."

- Row 1 & Row 3 has F and M true, which means Fred is highest paid and Maggie is most paid. But both cannot be highest paid, hence these two rows do not satisfy the propositional consistency.
- Whereas Row 2 is not contradicting the proposition.

- Fred is highest paid
- Janice is lowest paid and
- Maggie is not the most paid.

**Janice < Maggie < Fred.**