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 |