Update README.md

Fix old code samples and add doc for conjunctive normal form conversion.