nltk.skolemize()¶

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

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