Darstellung von Modellmengen

Ordnung auf Variablen festlegen: x1 < x2 < … < xn mathend000#

und dann binärer Entscheidungsbaum:

Für jede Formel F mathend000# existiert Baum B mathend000# mit [B] = Mod(F) mathend000#.



2014-03-31