DETERMINATION METHOD, SYSTEM AND RECORDING MEDIUM

A determination method includes: generating, when a logical formula is received, another statement group that shares either one of individual statements and one or plural statements of statement groups with each of the individual statements and statement groups that are included in the logical formula or a changed logical formula acquired with the performance of logically equivalent conversion with regard to the logical formula, the logical formula or the changed logical formula including a logical disjunction of the individual statements or the statement groups that are logical conjunctions of the one or plural statements; and performing a determination process of the logical formula, wherein the logical formula is determined as not satisfied when a determination result indicating that the statements that are included in the other statement group are not satisfied is obtained in the determination process.