Theory of circuits made up of ideal digital devices, including their structure, behaviour, and design. It incorporates Boolean logic (see Boolean algebra), a basic component of modern digital switching systems. Switching is essential to telephone, telegraph, data processing, and other technologies in which it is necessary to make rapid decisions about routing information. See also queuing theory