# 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.