Let K be a clause set, and K1 the resulting clause set after applying the pure literal rule to K. Show that the application of the pure literal rule preserves satisfiability
