Boolean algebra - branch of algebra abstracting logical operations