Boolean algebra.

Tools