Über die Auflösung von Gleichungen im logischen Gebietekalkül