b) There are two native islanders (either knight or knave) standing next to each other.One is named Claire and the other is named Desmond. You do not know what types they are. Claire suddenly says, "We are both knights.". After this, Desmond says"Either Claire is a knight or I am a knight, but we are not both knights.". Translate these statements into logical equivalences. From these equivalences, use both calculation logic and truth table separately to deduce the types of Claire and Desmond if possible.