pub fn bl_ext_or_complement(env: &mut Environment) -> Result<(), String>Expand description
Build the OR complementation law: a ∨ ¬a = true
pub fn bl_ext_or_complement(env: &mut Environment) -> Result<(), String>Build the OR complementation law: a ∨ ¬a = true