Two natives A and B address you as follows:

A says: Both of us are knights.

B says: A is a knave.

What are A and B?

Okay, so I assume that A is telling the truth so:

(a ^ b)

and since B is a knight then what B says has to be true so:

~a

Then there's the contradiction:

a ^ ~a

The negation law states:

c

...and that's how far I got.. -____-

I don't even know if I'm doing this correctly.