DisjunctiveNormalForm

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