Logical Method for Solving the 3x3x3 Rubik's Cube