<p><img alt="2. Recall that a CNF formula is defined over a set of variables X - {ri...., xn); a truth assignment assigns true/false (or e" src="https://media.cheggcdn.com/media%2F467%2F467588d6-168f-4d2d-a276-8255b4f90fbd%2Fphp63W9ko.png" style="height:715px;width:1024px;" aria-describedby="d3f"/></p>2. Recall that