Interpreting truth tables for Knights and Knaves problems Context: A person can either be a knight (always tells the truth) or a knave (always tells a lie).
On an island with three persons (A, B and C), A tells "If I am a knight, then at least one of us is a knave".
Using the atoms P=A is a knight, Q=B is a knight, R=C is a knight, and the sentence $P\iff P \rightarrow (\neg P \lor \neg Q \lor \neg R)$, I get the following truth table:

How can I deduct that A is a knave based on this truth table? Is it because the equivalence is not a tautology? Thanks!
 A: Actually you can deduct that A is a knight. Your sentence expresses what you now know after A speaks the sentence: namely, if A is a knight, then the sentence he spoke is true (these are the last four rows of your truth table), and thus at least one of B or C is a knave; if A is a knave, then the sentence he spoke is false (first four rows), which would mean that despite A being a knight none of the three are knaves. Of course, that doesn't actually work, because in this case we already know that A is a knave.
The logical statement you wrote down is what you know to be true; hence, you are in a world where the final column of your truth table lists a T. That is, you know that A is a knight and at least one of B, C is a knave. 
A: Suppose that he is correct.
Then, it follows that if none of them are knaves, then he is not a knight.  So, if all of them are knights, then he is a knave.
The last line of your table indicates the case where all of them are knights.  But, in such a case his (if ... then ...) assertion is false.
If we look at the 5th-7th rows of the table, those are the one rows where this equivalence holds true.  If he is correct, then we'll assume him a knight.  Thus, by the rule of inference of reverse equivalence detachment {$\alpha$, ($\beta$ <-> $\alpha$)} => $\beta$, it follows that he is correct about his assertion.  But, the above indicated that he would be knave.  Therefore, he is a knave.
A: The truth table of A's sentence is : 

Let's consider case (1) that is, the case in which they are all knights. In that case , A's sentence is false, and A is not a knight. So, they are not all knights, (because it is impossible, case (1) being inconsistent). 
But cases (5) to (8) are also ruled out , for in thiese cases A is a knave and says someting true. 
So, the only consistent ( hence, possible) cases are (2) to (4) in which A is a knight. 
Other argument : A's sentence is a conditional with a true consequent ( since they are not all knights, as we have seen). But such a conditional cannot be false ( by the truth-table of the " if ... then " operator). 
