Knights and knaves propositional logic