Binärzahlen, Digitale Logik und Addierwerke