Defined Well Formed Formula and some functions to create CNF