Function prop::and::to_de_morgan

source[−]
pub fn to_de_morgan<A: DProp, B: DProp>(
    (f0, f1): And<Not<A>, Not<B>>
) -> Not<Or<A, B>>
Expand description

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