BOOLEsche Ausdrücke
und
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:
a) Umformung in einen möglichst ,,einfachen`` Ausdruck
(s. Schaltagebra),
b) Umformung in eine ,,Normalform`` .
und 
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.
