Double-SAT - (3) Correspondence x ∈ L  y ∈ L '  : Suppose there is an satisfying assignment, X, for φ(x 1,..., x n ), we can find two satisfying ass
{"Image DocumentName": "Double-SAT - (3) Correspondence", "Image ImageDescription": "x \u2208 L \uf0f3 y \u2208 L\u2019 \uf0e8 : Suppose there is an satisfying assignment, X, for \u03c6(x1, , xn), we can find two satisfying assignments for \u03c6\u2019(x1, , xn, w): Assignment 1 = {X, w=True} Assignment 2 = {X, w=False} \u03c6\u2019(x1, , xn, w) = \u03c6(x1, , xn) \u2227 ( w \u2228 w ) For {xi}, assign X, then this part = True. No matter what w is, this part = True.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}