This is a branch of algebra that deals with logical operations and values, and is used extensively in computer science.