“The logic blocks And, Or, and Invert form a universal construction set, which can be used to implement any set of rules. (These primitive types of logic blocks are sometimes also called logic gates.)”