unicode_fol_kit.to_cnf¶ unicode_fol_kit.to_cnf(node)[source]¶ Return prenex form whose matrix is a conjunction of clauses. Equivalence-preserving. Parameters: node (Node) Return type: Node