CL - 6f - CNF I
From Haoran Peng on October 24th, 2020
This video shows how blocks of zeros, which correspond to disjund=ctions of literals, lead us to conjunctive normal form (CNF) which we met earlier as the output of our reduction procedure. CNF is in general better than DNF for specification. We will see later that it is also a better form if we cant to search for a valuation that satisfies a given set of constraints. We introduce these ideas with a brief discussion of Sudoku.