A branch of mathematics concerned with signals that can be only true or false, and which form the basis of modern computers.