RSFQ logic arithmetic