Logic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since. Games like Sudoku and Mastermind are fun and engrossing recreational activities, but they also share...