Logic correction support equipment supports logic correction of a logic circuit in LSI design for synthesizing a logic circuit from a register transfer level by logic synthesis. The logic correction support equipment finds a logic that was redundant before logic correction and becomes non-redundant after the logic correction by comparing redundant fault between the RTL before the logic correction and the RTL after the logic correction, and thereby supports manual correction of the logic circuit.