Boolean algebra with operators