prop::or
pub fn to_de_morgan<A: DProp, B: DProp>(f: Or<Not<A>, Not<B>>) -> Not<And<A, B>>
(¬a ∨ ¬b) => ¬(a ∧ b).
(¬a ∨ ¬b) => ¬(a ∧ b)