Lec_18-CNF.pdf
Problems