Binäre Addition

[x0,…] + [y0,…] = [z0,…] mathend000#

Hilfsvariablen: [c0,…] mathend000# = mathend000# Überträge

Realisierung: dafür CNF ohne Hilfsvariablen!



2014-03-31