Tseitin-Transformation (Übung)

Übungen (Hausaufgabe):

• transformiere (x₁↔x₂)↔(x₃↔x₄) mathend000#

nach Tseitin-Algorithmus.

• Halb-Adder (2 Eingänge x, y mathend000#, 2 Ausgänge r, c mathend000#)

  (r↔(¬(x↔y)))∧(c↔(x∧y)) mathend000#

• Voll-Adder (3 Eingänge, 2 Ausgänge)