Josephson logic