Function prop::or::to_de_morgan

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

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