unicode_fol_kit.to_nnf¶ unicode_fol_kit.to_nnf(node)[source]¶ Return the negation normal form of node (after reducing to classical FOL). Parameters: node (Node) Return type: Node