Boolean representation of logical statements of more than two extreme conditions I had a question to determine the highest and and lowest and the middle paid of three employees. I tried to solve the problem using logical values T or F, then getting the connection between the truth tables, but I got stuck since the first statement concerns the highest and the second concerns the lowest paid and there is a hole about the middle one that I could't represent, using truth values since not highest may be lowest or middle and vice versa. The question is below from Rosen discrete math book.

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 the three, then Janice is. Second, he knows that if Janice is not the lowest paid, then
  Maggie is paid the most. Is it possible to determine the
  relative salaries of Fred, Maggie, and Janice from what
  Steve knows? If so, who is paid the most and who the
  least? Explain your reasoning.



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 the three, then Janice is. 

$$(F{\lt}J\vee F{\lt}M)\to (F{<}M{<}J\vee M{<}F{<}J)\tag 1$$
Clearly that means that: $$F{<}J\to (F{<}M{<}J\vee M{<}F{<}J) \tag{1.1}$$ ... and, less obviously, that: $$F{<}M\to (F{<}M{<}J)\tag {1.2}$$

Second, he knows that if Janice is not the lowest paid, then Maggie is paid the most. 

$$(F{<}J\vee M{<}J)\to (F{<}J{<}M\vee J{<}F{<}M) \tag 2$$
Likewise, this infers that: $$F{<}J\to F{<}J{<}M \tag{2.1}$$ ... and also that: $$M{<}J\to \bot\tag{2.2}$$

Is it possible to determine the relative salaries of Fred, Maggie, and Janice from what Steve knows? If so, who is paid the most and who the least? Explain your reasoning.

Fred cannot be paid less than Jannice (1.1 and 2.1 contradict), and Fred cannot be paid less than Maggie (1.2 and 2.1 contradict), and Maggie cannot be paid less than Jannice (2.2).   Which means Fred is paid the most, and Jannice the least. $$J{<}M{<}F\tag{done}$$
