Function resolution_prover::or

pub fn or(a: Proposition, b: Proposition) -> Proposition

Creates a proposition that is the disjunction of the two given propositions.

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

let p_or_q = resolution_prover::or(p, q);

let expected = "p \\/ q";

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