Solving a logic task