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 |