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)