Darstellung von Modellmengen

Ordnung auf Variablen festlegen: x₁ < x₂ <...< x_n

und dann binärer Entscheidungsbaum:

• Blätter: 0, 1
• innere Knoten t
  • Variable v
  • Kinder l, r
  repräsentiert Formel [t] = (¬v $\wedge$ [l]) $\vee$ (v $\wedge$ [r])