Man kann von der Baumbreite einer Booleschen Schaltung sprechen , indem man sie als die Baumbreite des "moralisierten" Graphen auf Drähten (Eckpunkten) definiert, die wie folgt erhalten wird: Verbinde die Drähte aaa und bbb wenn bbb der Ausgang eines Gatters mit aaa als Eingang ist (oder und...