append#

tangles.util.logic.append(termA: ndarray, termB: ndarray) → ndarray#

If the input is in CNF, calculates

termA and termB.

If the input is in DNF, calculates

termA or termB.

Parameters#

value: a term, either in CNF or DNF.
term: a term, in the same normal form.

Returns#

np.ndarray: A term in the same normal form as the input terms.