How Tarjan algorithm work for the 2-SAT
a 2-CNF formula is satisfiable if and only if there is no variable that belongs to the same strongly connected component as its negation.
But I don't find any reason for the right to left direction. how can the inexistence of such variable guarantee satisfaction of CNF?

Think of a variable assignment for some unsatisfiable 2-SAT instance.  This means one or more clauses must remain unsatisfied whatever the assignment.  You change the setting of one or more variables to satisfy those clauses, but this unavoidably leaves some new clause or clauses unsatisfied because the instance is unsatisfiable.  The failure of your change to satisfy the instance implies that some other variable's value must change.  You repeat the procedure again and again, changing other variables as implication demands, but never succeed in satisfying all the clauses.  Eventually, because the number of variables is finite, a failure implies that you change the value of a variable you've already visited... and that is your circular implication from $x$ to $\bar{x}$ back to $x$.  Without a circular implication you will eventually reach the end of the implication chain and have a satisfying assignment.  The only way not to reach the end of the chain is for the chain to be circular between a variable and its negation.