Generation of disjoint cubes for multiple-valued functions

Abstract

In this paper, an algorithm to generate disjoint cubes representation of a multiple-valued logic function is presented. The algorithm converts an array of non-disjoint multiple-valued cubes to an array disjoint multiple-valued cubes by applying different multiple-valued cube calculus operations. Efforts to reduce the calculation time and the number of resulting disjoint cubes have been integrated into the presented algorithm. Experimental results of the algorithm for several test files are also shown.