Solves the 2-satisfiability problem by creating graph based on expression and dividing it into strong components using Tarjan's algorithm.