Um eine DRC-/TRC-Formel oder -Query auf Sicherheit zu überprüfen sind ja 3 Schritte nötig. (mal so pi mal Daumen aus der Erinnerung...)
1. Es dürfen keine Allquantoren auftauchen
2. Die Freien Variablen disjunktiver Teilformeln müssen gleich sein
3. Die Freien Variablen aller max. konjunktiven Teilformeln müssen auf gewissen Weise beschränkt sein, wobei es wieder drei Möglichkeiten der Beschränktheit gibt

Das ist ja alles gut und schön, aber wie um Himmels Willen finde ich alle max. konjunktive Teilformeln?
Ich weiß dass die Definition allgemein so ist, dass eine Teilformel G einer Formel F maximal konjunktiv genannt wird, wenn F keine konjunktive Teilformel der Form H ∧ G oder G ∧ H enthält.

Nun ist Logik nicht ganz mein Gebiet, und irgendwie übersehe ich bei jedem DRC-Ausdruck mind. die Hälfte der konjunktiven Teilformeln...
Gib es eine einfache Methode, alle zu bestimmen?
Oder gibt es vielleicht Websites o.ä. wo das an schön anschaulichen Beispielen erklärt ist?