Knights and knaves logic puzzles were made popular by the logician and mathematician Raymond Smullyan. See http://en.wikipedia.org/wiki/Knights_and_Knaves. Here we have a total of 382 puzzles which get progressively more difficult. They were generated by a computer program written by Zachary Ernst. There are no answers provided, but you can always check if your friends agree with you!