DPLL(T) Übung

• ein DPLL(T)-Beispiel für T= mathend000# Gleichheitslogik oder Differenzlogik durchrechnen.
• dabei ggf. T-Entscheidungsverfahren wiederholen.
• welche Möglichkeiten bestehen dabei für T-Propagation? T-Explanation?