When a logic function check(X) is defined as follows with respect to a set X of parts which are to be assembled, the assemblability discrimination is equivalent to obtaining a value of check (P), where P is a set of all of the parts which constitute a completed product such as a machine. ##EQU3