Wie löse ich eine solche Aufgabe?

ein Sättigungsaddierer für n-Bit-Binärzahlen ist ein Schaltnetz zur Realisierung des Schaltfunktion f (an-1, ..., a0, bn-1, ..., b0) = sn-1, ... ,s0 mit (sn-1, ... ,s0) = { (an-1, ..., a0) + (bn-1, ..., b0) falls (an-1, ..., a0) + (bn-s, ..., b0) ≤ 2^2-1 (1, ..., 1) sonst. }

Entwerfen Sie ein Schaltnetz für einen 2-Bit-Sättigungsaddierer aus Halbadierern, Multiplexern und/oder Gattern.

Gruß Hannah