Single Flux Quantum Logic