added solutions to 1-3
switched "conjunctive" and  "disjunctive" in 2nd part of the proof
Merge branch 'master' of https://github.com/yselivonchyk/4111_ML