Added README
Defined Formula type
Defined conjunctive normal form types
Implemented formulaToClauseSet which converts a CNF to a set of set of literals
Implemented shiftNegations function which applies deMorgan and removes double-negation
Implemented shiftAndOr function which applies the distributive law
Resolver now is a module
Implemented formula parser