Diese Zerlegung wird auch als if-then-else-Normalform (INF) bezeichnet. Diese Zerlegung führte unter anderem zur Entwicklung von Binären Entscheidungsdiagrammen und damit zu einer der Möglichkeiten der Bearbeitung des Erfüllbarkeitsproblems der Aussagenlogik. == Siehe auch == ...