Function prop::or::bound_pos

pub fn bound_pos<A: Prop, B: Prop>(f: Or<And<A, B>, Not<A>>) -> Or<B, Not<A>>

(a ∧ b) ∨ ¬a => (b ∨ ¬a).