A configuration information verification apparatus includes an alive monitoring information collecting unit for collecting alive monitoring information from a plurality of configuration items constituting a network, a logical formula creating unit for referring to configuration information that represents information about connection relationships between the configuration items and creating a logical formula with respect to each configuration item by performing an AND operation on configuration items positioned on a route leading to corresponding configuration item, and assigning a “true” value to the logical formula if the alive monitoring information indicates that the corresponding configuration item is operating normally and assigning a “false” to the logical formula if the alive monitoring information indicates that the corresponding configuration item is not operating normally; and a logical formula verifying unit for verifying, from a plurality of logical formulae, whether an inconsistent logical formula is present.