Remove Automatic Evaluation

- [X] Stop auto eval for Not, Xor, ITE
- [X] Negation Normal Form (to_nnf, is_nnf)
- [X] Changed definition of logical atom (is_literal
- [X] Changed count_ops for BooleanFunction