|
Registriert seit: 29. Nov 2004
142 Beiträge
|
Re: boolesche Funktionen vergleichen
16. Mär 2010, 14:01
Wenn man es nicht selber implementieren muss würde ich einen SMT solver verwenden
guckst du hier:  http://en.wikipedia.org/wiki/Satisfi...odulo_Theories
|