1. Για κάθε μεταβλητή x κατασκευάζω δύο κόμβους, x και Και για κάθε ακμή (x,y) κατασκευάζω δύο ακμές, μια από το και μια από το

2. Για κάθε μεταβλητή x κατασκευάζω δύο κόμβους, x και Και για κάθε ακμή (x,y) κατασκευάζω δύο ακμές, μια από το και μια από το

3. Για κάθε μεταβλητή x κατασκευάζω δύο κόμβους, x και Και για κάθε ακμή (x,y) κατασκευάζω δύο ακμές, μια από το και μια από το

4. Για κάθε μεταβλητή x κατασκευάζω δύο κόμβους, x και Και για κάθε ακμή (x,y) κατασκευάζω δύο ακμές, μια από το και μια από το

5. Για κάθε μεταβλητή x κατασκευάζω δύο κόμβους, x και Και για κάθε ακμή (x,y) κατασκευάζω δύο ακμές, μια από το και μια από το

6. Και υπολογίζουμε τις SCC.

7. Κατασκευάζουμε το ανάστροφο 1 5 10 12 Και κάνουμε DFS για να πάρουμε τη φθίνουσα σειρά post των κόμβων 2 7 8 11 3 4 6 9

8. Και κάνουμε DFS στο κανονικό διάγραμμα με βάση τη σειρά αυτή 1 12 4 7 5 6 2 9 10 11 3 8

9. Επομένως θα έχουμε 1SCC Και από τη στιγμή που και βρίσκονται στην ίδια SCC η πρόταση δενείναι ικανοποιήσιμη