«

nltk.sem.skolemize

module documentation
(source)

Undocumented

Function skolemize Skolemize the expression and convert to conjunctive normal form (CNF)
Function to_cnf Convert this split disjunction to conjunctive normal form (CNF)
def skolemize(expression, univ_scope=None, used_variables=None): (source)

Skolemize the expression and convert to conjunctive normal form (CNF)

def to_cnf(first, second): (source)

Convert this split disjunction to conjunctive normal form (CNF)