Gleichheitsgraph (equality graph)

(logische Verknüpfungen werden ignoriert!)

Widerspruchskreis:

falls die Kanten eines solchen Kreise mit und verknüpft sind, dann ist die Formel nicht erfüllbar.



2009-06-22