or

propositional_logic

Function or 

Source 
pub const fn or(a: bool, b: bool) -> bool
Expand description

The Disjunction Logical Connective

ยงExample

use propositional_logic::prelude::*;

assert_eq!(or(true, true), true);
assert_eq!(or(true, false), true);
assert_eq!(or(false, true), true);
assert_eq!(or(false, false), false);