Function biodivine_lib_bdd::op_function::and_not
source · pub fn and_not(l: Option<bool>, r: Option<bool>) -> Option<bool>
Expand description
Partial operator function corresponding to $x \land \neg y$.
pub fn and_not(l: Option<bool>, r: Option<bool>) -> Option<bool>
Partial operator function corresponding to $x \land \neg y$.