tangles.util.logic#

Modules

`tangles.util.logic.sep_to_term`
`tangles.util.logic.term`	A logcial term made up of “conjunctions of clauses which themselves are disjunctions of literals” is said to be in

Classes

Functions

`append()`	If the input is in CNF, calculates
`distribute()`	If the input is in CNF, calculates
`simplify()`	Simplifies a matrix in either CNF or DNF