Remove automatic evaluation
Added conversion to NNF
Add equals to boolean
Changed is_literal
Added tests
Fixed issues with Logical Atom
Fixed issues with count_ops and assumption
Changed count_ops and is_literal
Restructured Xor's __new__ method
Merge pull request #7549 from SDB1323/Auto_Eval

Remove Automatic Evaluation