BDD Wahrheitstabelle bei Variablen "Wegfall"

Question

Hallo,

 

Erstellt man das BDD und verkürzt es, so kann es ja sein, dass Variablen der unteren Äste "wegfallen", da sie nicht benötigt werden, weil sie bei jeder Eingabe auf das gleiche Element zeigen.

Nun ist die Frage: Sei eine Funktion f(a,b,c) und das c würde unter einem der beiden b's nicht mehr benötigt werden, ist der Wert dieses c's in der Wahrheitstabelle egal für f(a,b,c)=1 ?

(Bsp. Kap. BDD A18)

Answer 1

Ja, genau so ist es.