Suppose x and NOT x are in the same SCC. That means there is a path going both directions between them. If you set x to true, the forward path forces NOT x to be true through implications.
But NOT x being true means x is false. That is a direct contradiction. No assignment can satisfy this formula. The answer is unsatisfiable. The SCC structure reveals this contradiction immediately without trying all possible assignments.