Function prop::or::from_de_morgan[−][src]

pub fn from_de_morgan<A: DProp, B: DProp>(
    f: Not<And<A, B>>
) -> Or<Not<A>, Not<B>>

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