Sudoku and logic