Finished Horn formulas; started questions

Started the practice questions for the exam. See the new TeX file - Greedy
Algorithms has been started.