unicode_fol_kit.to_pnf¶

unicode_fol_kit.to_pnf(node)[source]¶

Return the prenex normal form: quantifier prefix over a quantifier-free NNF matrix, with all bound variables standardised apart.