Added file for conjunctive normal form algorithm