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".
How can I deduct that A is a knave based on this truth table? Is it because the equivalence is not a tautology? Thanks!