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 6 7 11 3 4 8 9

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

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