Die Schaltungsanalyse in der Informatik befasst sich mit der Untersuchung von logischen Schaltungen. Hierbei geht es um das Erstellen von Wahrheitstabellen und booleschen Funktionen aus der gegebenen Schaltung, um das Verhalten der Schaltung zu verstehen und diese optimieren zu können.
Die Analyse einer Schaltung beschreibt das Erstellen einer Wahrheitstabelle und einer booleschen Funktion aus einer gegebenen Schaltung.
Um die Wahrheitstabelle kann man sich bestimmte markante Punkte in der Schaltung festlegen:
Wahrheitstabelle
| $A$ | $B$ | $C$ | $D$ | $E$ | $F$ | $Y$ |
| 0 | 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 0 | 1 | 1 | 0 |
| 0 | 1 | 0 | 0 | 1 | 1 | 0 |
| 0 | 1 | 1 | 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 1 | 0 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 | 1 | 0 |
| 1 | 1 | 0 | 0 | 1 | 1 | 0 |
| 1 | 1 | 1 | 0 | 1 | 1 | 0 |
$Y = \overline F$
$Y = \overline{D \vee E}$
$Y= \overline{(A \wedge \overline B)\vee(B \vee C)}$
Vereinfachung
$Y=\overline{A \wedge B} \wedge \overline{B \vee C}$ de Morgansche Regel
$Y= \overline A \vee B \wedge \overline B \wedge \overline C$ de Morgansche Regel
Wenn $\overline B$ wahr ist, ist B = 0. Damit reduziert sich $\overline A \wedge B$ auf $\overline A$.
$Y= \overline A \wedge \overline B \wedge \overline C$ = $\overline {A \wedge B \wedge C}$
$Y= \overline A \wedge \overline B \wedge \overline C$ = $\overline {A \wedge B \wedge C}$