Let φ be a 3cnf formula, show that:

[ad_1]

 Let φ be a 3cnf formula. A non-identical assignment, or nid-assignment, to the variables of φ is an assignment where each clause of φ contains two literals with different truth values, i.e., there cannot be a clause with the 3 true literals. Thus, a nid-assignment satisfies φ without assigning true to the 3 literals of any of the clauses.

[ad_2]