Wertverlaufsgleiche Boolesche Ausdrücke

BOOLEsche Ausdrücke S und T heißen wertverlaufsgleich, wenn sie die gleiche BOOLEsche Funktion repräsentieren. BOOLEsche Ausdrücke sind genau dann gleich, wenn sie durch Umformungen  entsprechend den Axiomen einer BOOLEschen Algebra ineinander überführbar sind.
Bei der Umformung BOOLEscher Ausdrücke stehen zwei Aspekte im Vordergrund:

1. Umformung in einen möglichst einfachen Ausdruck (s. Schaltagebra),
2. Umformung in eine Normalform  .