Skip to main content

implication

Function implication 

Source
pub const fn implication(left: bool, right: bool) -> bool
Expand description

Returns the material implication left -> right.

Examples found in repository?
examples/basic_usage.rs (line 4)
3fn main() {
4    assert!(implication(false, true));
5    assert!(equivalence(true, true));
6    assert!(exclusive_or(true, false));
7    assert!(!nand(true, true));
8    assert!(nor(false, false));
9    assert!(majority(true, true, false));
10}