nltk.sem.skolemize module

nltk.sem.skolemize.skolemize(expression, univ_scope=None, used_variables=None)[source]

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

nltk.sem.skolemize.to_cnf(first, second)[source]

Convert this split disjunction to conjunctive normal form (CNF)