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)
}
refacto: use generic types 2024-01-22 17:34:40 +00:00			`mod tests;`

			`use crate::ast::Node;`

test(ex05): complex test 2024-01-24 12:51:37 +00:00			`pub fn negation_normal_form(formula: &str) -> String {`
feat(ex05): cancel double negation 2024-01-23 20:20:03 +00:00			`let mut ast = Node::<char>::parse_formula(formula);`
			`ast.simplify();`
			`Node::<char>::ast_to_formula(&ast)`
feat(ex05): done + rustfmt oops 2024-01-24 12:27:46 +00:00			`}`