Lógica de los sistemas binarios, tales como los sistemas de control en los cuales pueden ser reducidos a los principios de on-off (encendido-apagado), abierto-cerrado, o una base dicotómica similar.