Logical and.
Expression | Result |
---|---|
true.and(false) | false |
false.and(true) | false |
true.and(true) | true |
false.and(false) | false |
Logical implies.
Expression | Result |
---|---|
true.implies(true) | true |
true.implies(false) | false |
false.implies(true) | true |
false.implies(false) | true |
Logical negation.
Expression | Result |
---|---|
true.not() | false |
false.not() | true |
Logical or.
Expression | Result |
---|---|
true.or(false) | true |
false.or(true) | true |
true.or(true) | true |
false.or(false) | false |
Logical xor.
Expression | Result |
---|---|
true.xor(true) | false |
true.xor(false) | true |
false.xor(true) | true |
false.xor(false) | false |