complexity theory – Padding a 2SAT clause

Sometimes we insist that the three literals in a 3SAT clause belong to different variables. This ensures, for example, that a random assignment satisfies a clause with probability exactly $7/8$. The translation $x lor y lor y$ doesn’t satisfy this condition, but the other one does.