| 摘要 |
PURPOSE:To make a logical expression, processed by one computer, small, and to speed up a processing by dividing the sum of product type logical expression into 3<k> pieces, and at the same time, simplifying it by a parallel commutation, and merging the logical expression, simplified by the respective computer, K times. CONSTITUTION:Regarding the logical expression, in which pieces of variables exist, an operation to classify the said logical expression into three cases, i.e., the logical expression including the variable Xi, the logical expression including the inverse of Xi and the logical expression including neither Xi nor the inverse of Xi, is repeated K times, and 3<k> pieces of the logical expressions are formed, and each of them is assigned to the respective processor 21 of a parallel computer system, which has a communicating function between each other and is connected in a lattice shape. The respective processor 21 executes independently the simplifying processing of the logical expression for the given logical expression, and while it removes a redundant term by obtaining an information from the neiboring processor 21, it executes the merge processing of the simplified result. The merged result is set in the specified processor 21 corresponding to the respective merging step, and after the merge of K times, the simplified logical expression, corresponds to the original logical expression, is obtained.
|
