simplify
========

.. currentmodule:: tangles.util.logic

.. autofunction:: simplify