Booleans

A boolean in Dyon is a variable that stores true or false. This represents a choice with two options. The type is bool.

Lazy and eager

A lazy operator does not compute the right argument if the left argument gives the result.

An eager operator computes both arguments.

Logical gates

A logical gate is an operation on two boolean values.

There are 4 operators for AND:

#![allow(unused)]
fn main() {
a && b // lazy
a and b // eager
a ∧ b // eager
a * b // eager
}

There are 4 operators for OR:

#![allow(unused)]
fn main() {
a || b // lazy
a or b // eager
a ∨ b // eager
a + b // eager
}

There is 1 operator for XOR:

#![allow(unused)]
fn main() {
a ^ b
}

There is 1 operator for EXC:

#![allow(unused)]
fn main() {
a - b
}

There are 2 operators for NOT:

#![allow(unused)]
fn main() {
!a
¬a
}

Why more than one way

Boolean algebra is used with different notations:

• Programming applications
• Logic
• Non-invertible sets

When programming applications, you use &&, || and !.

Logic use ∧, ∨ and ¬.

Non-invertible sets uses *, + and -.

In the future Dyon might get more features for Boolean algebra.