# Services available for Booleans

### and(op1: java.lang.Boolean, op2: java.lang.Boolean) = Boolean

Logical and.

Expression | Result
--- | ---
true and false | false
false and true | false
true and true | true
false and false | false

### implies(op1: java.lang.Boolean, op2: java.lang.Boolean) = Boolean

Logical implies.

Expression | Result
--- | ---
true implies true | true
true implies false | false
false implies true | true
false implies false | true

### not(op1: java.lang.Boolean) = Boolean

Logical negation.

Expression | Result
--- | ---
not true | false
not false | true

### or(op1: java.lang.Boolean, op2: java.lang.Boolean) = Boolean

Logical or.

Expression | Result
--- | ---
true or false | true
false or true | true
true or true | true
false or false | false

### xor(op1: java.lang.Boolean, op2: java.lang.Boolean) = Boolean

Logical xor.

Expression | Result
--- | ---
true xor true | false
true xor false | true
false xor true | true
false xor false | false