Some logic puzzles