Restadores definición
La sustracción de dos números binarios puede llevarse a cabo tomando el complemento del sustraendo y agregándolo al minuendo. Por este método, la operación de sustracción, llega a ser una operación de división que requiere sumadores completos para su implementación en máquina.
Es posible implementar la sustracción con circuitos lógicos en una forma directa, como se hace con lápiz y papel.
Por este método cada bit sustraendo del número se sustrae de su bit minuendo correspondiente significativo para formar un bit de diferencia. Si el bit minuendo es menor que el bit sustraendo, se toma un 1 de la siguiente posición significativa.
El hecho de que se ha tomado un 1 debe llevarse al siguiente par más alto de bit mediante una señal binaria que llega de fuera (salida) de una etapa dada y va a (entrada) la siguiente etapa más alta.
En forma precisa así como hay medio sumadores y sumadores completos, hay medio restadores y restadores completos.