ready_set_boole/src/negation_normal_form.rs

mod tests;

use crate::ast::Node;

pub fn negation_normal_form(formula: &str) -> String {
    let mut ast = Node::<char>::parse_formula(formula);
    ast.simplify();
    Node::<char>::ast_to_formula(&ast)
}