Skip to main content

use_logic_boolean_helpers/
basic_usage.rs

1use use_logic::{equivalence, exclusive_or, implication, majority, nand, nor};
2
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}