Nein, logische Äquivalenz hat damit nichts zu tun. Bei der zirkulären Abhängigkeit geht es um konkrete Abhängigkeiten zwischen Software-Komponenten, ein Problem das einem im Rahmen von Erstellungsprozessen in der Software-Entwicklung ständig begegnet. Daher finde ich auch die momentane Kategorie "Graphentheorie" eher unpassend. Leider bin ich mir momentan noch unsicher, in welcher Richtung man das erweitern sollte. Was haltet ihr von einem Beispiel aus der objektorientierten Programmierung mit konkreten Klassen und deren Abhängigkeiten voneinander? -- jpp 13:17, 12. Jan 2006 (CET)