Boolean

Operations

not(): Boolean

Returns true if self is false.
Syntax: not self

and(b: Boolean): Boolean

True if self and b are both true.
Syntax: self and b

implies(b: Boolean): Boolean

True if self is false or both, self and b, are true.
Syntax: self implies b

or(b: Boolean): Boolean

True if self or b is true.
Syntax: self or b

xor(b: Boolean): Boolean

True if either self or b is true, but not both.
Syntax: self xor b