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 |
---|---|
not true | false |
not false | 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 |