ConjunctiveNormalForm

class tangles.util.logic.ConjunctiveNormalForm(matrix: ndarray, row_labels: list[str])