Modified expression. Added 1st level of simplificaton approach by converting the expression into NNF