Bernd Steinbach / Christian Posthoff Theoretische Grundlagen: Mengen. Metrische Eigenschaften.Bin re Funktionen. Rechenregeln und Algebraische Strukturen.Normalformen. Subfunktionen und Entscheidungsb ume. Tern rvektoren.Aufgaben.Logische Gleichungen: Begriff und L sungsmethoden.Elementare homogene Gleichungen. Mengenoperationen. Ungleichungen.Gleichungssysteme. Das SAT-Problem. Aufgaben.Anwendungen in der Digitaltechnik: Arithmetik. Digitale Schaltungen.H...