Added negation method to formula evaluation and made a test for it