Boolesche Gleichungen Theorie, Anwendungen, Algorithmen [Paperback]

1. Boolesche Gleichungen  mathematische Grundbegriffe.- 1.1. Einf?hrung.- 1.2. Der Raum Bn.- 1.3. Boolesche Funktionen.- 1.4. Boolesche Gleichungen.- 2. Boolesche Differentialgleichungen.- 2.1. Einf?hrung.- 2.2. Grundbegriffe.- 2.3. Integration von Ableitungsoperationen.- 2.4. Integration beliebiger Differentialgleichungen.- 2.5. Abschlie?ende Bemerkungen.- 3. Logische Matrixgleichungen  Theorie und Praxis.- 3.1. Einf?hrung.- 3.2. Logische Gleichung und ihre L?sung  formale Formulierung der Aufgabe.- 3.3. Methoden des kombinatorischen Suchens.- 3.4. Pr?fung funktioneller Beziehungen  L?sung logischer Gleichungen.- 3.5. Logische Matrix gleichungen.- 3.6. Unterschiede in der funktioneilen Interpretation der betrachteten Elementarschaltungen.- 3.7. L?sung der Gleichung $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{Y} = \underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{B} \vee \underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{X}$$ mit einer Unbekannten.- 3.8 L?sung der Gleichung $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{Y} = \underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{B} \vee \underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{X}$$ mit zwei Unbekannten.- 3.9 Zur L?sung der Gleichung $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{Y} = \underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{T} \Delta \underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{X} $$.- 3.10. Kompositionen elementarer Matrixoperatoren.- 4. Boolesche Berechnungen und die L?sung logischer Gleichungen.- 4.1. Vollst?ndige und partikul?re L?sung.- 4.2. Intervallform einer Booleschen Funktion.- 4.3. Gleichungen mit polynomialer Komplexit?t.- 4.3.1. Kompaktheit der Darstellung.- 4.3.2. Gleichung $$c\left( {\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle-}$}}{x} } \right) \vee D\left( {\underset{\raise0.3em\hbox{$\smash{\scriptscrl³&