Function prop::and::from_de_morgan

source · [−]
pub fn from_de_morgan<A: DProp, B: DProp>(
    f: Not<Or<A, B>>
) -> And<Not<A>, Not<B>>
Expand description

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