Function resolution_prover::not

pub fn not(prop: Proposition) -> Proposition

Creates a proposition that is the negation of the given proposition.

let p = resolution_prover::term("p".to_string());

let not_p = resolution_prover::not(p);

let expected = "~(p)";

assert_eq!(not_p.to_string(), expected);