What's Changed
* Add Implication and Remove Nesting by beckydvn in https://github.com/QuMuLab/python-nnf/pull/27
* Simplify tautologies by haz in https://github.com/QuMuLab/python-nnf/pull/29
New Contributors
* beckydvn made their first contribution in https://github.com/QuMuLab/python-nnf/pull/27
**Full Changelog**: https://github.com/QuMuLab/python-nnf/compare/v0.3.0...v0.4.0