6. Κατασκευάζουμε το ανάστροφο Και κάνουμε DFS για να πάρουμε τη φθίνουσα σειρά post των κόμβων 1 5 10 12 2 7 8 11 3 4 6 9
7. Και κάνουμε DFS στο κανονικό διάγραμμα με βάση τη σειρά αυτή 1 6 7 12 3 4 8 11 2 5 9 10
8. Επομένως θα έχουμε 2 SCC Και από τη στιγμή που και δε βρίσκονται στην ίδια SCC η πρόταση είναι ικανοποιήσιμη Βρείτε μια αποτίμηση που ικανοποιεί την πρόταση! (1,1,1)