Tseitin-Transformation (Übung)

Übungen (Hausaufgabe):

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

nach Tseitin-Algorithmus.

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

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

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