ConjunctiveNormalForm
=====================

.. currentmodule:: tangles.util.logic

.. autoclass:: ConjunctiveNormalForm