Function resolution_prover::and

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

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

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

let p_and_q = resolution_prover::and(p, q);

let expected = "p /\\ q";

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