# Bool
Boolean type and operations.

While boolean operators `_ and _` and `_ or _` are short-circuiting,
avoiding computation of the right argument when possible, the functions
`logand(_, _)` and `logor(_, _)` are *strict* and will always evaluate *both*
of their arguments.

## Type `Bool`
``` motoko no-repl
type Bool = Prim.Types.Bool
```

Booleans with constants `true` and `false`.

## Function `toText`
``` motoko no-repl
func toText(x : Bool) : Text
```

Conversion.

## Function `logand`
``` motoko no-repl
func logand(x : Bool, y : Bool) : Bool
```

Returns `x and y`.

## Function `logor`
``` motoko no-repl
func logor(x : Bool, y : Bool) : Bool
```

Returns `x or y`.

## Function `logxor`
``` motoko no-repl
func logxor(x : Bool, y : Bool) : Bool
```

Returns exclusive or of `x` and `y`, `x != y`.

## Function `lognot`
``` motoko no-repl
func lognot(x : Bool) : Bool
```

Returns `not x`.

## Function `equal`
``` motoko no-repl
func equal(x : Bool, y : Bool) : Bool
```

Returns `x == y`.

## Function `notEqual`
``` motoko no-repl
func notEqual(x : Bool, y : Bool) : Bool
```

Returns `x != y`.

## Function `compare`
``` motoko no-repl
func compare(x : Bool, y : Bool) : {#less; #equal; #greater}
```

Returns the order of `x` and `y`, where `false < true`.