pub const fn implication(left: bool, right: bool) -> bool
Returns the material implication left -> right.
left -> right