Now this very big not here evaluates to 0, then we have to make sure that this variable here evaluates to 1, because all of them are connected by an and, and we are looking for a satisfying assignment, so to do that, we have to set X2 to 0 so that this here evaluates to 1. 