Kombinatorische Logik: Gatternetze, Wahrheitstabellen und Minimierung