Un restador completo es un circuito combinacional que realiza una sustracción entre dos bits considerando un préstamo inicial. Tiene tres entradas (minuendo, sustraendo, préstamo) y dos salidas (diferencia, salida tomada). Su diagrama a bloques muestra cómo considera el préstamo junto con los bits de entrada para realizar la sustracción. Incluye una tabla de verdad y un circuito topológico que implementa la lógica de la sustracción.