<p>Consider the following decision problem:</p><p>4-SAT: Given a gormula in Conjunctive Normal Form, where eachclause contains exactly 4 literals, does it have a satisfyinghtruth assignment?</p><p>(i) Prove that 4-SAT <img alt="in" src="https://media.cheggcdn.com/media%2F5c7%2F5c7b424f-d24d-48a1-b00c-1ea4cf7ff150%2Ff81a2d19-7431-480d-8e09-9641b49de227.png"/>