Logic in Artificial Intelligence: Well Formed Formula WFF to Clausal Form CNF Conversion Steps