Deutsch's algorithm