Boolean algebra
Two-element Boolean algebra