Samenvatting
One studies the possibility of evaluating the local values of a discrete function by means of a specific type of algorithm called multivalued decision algorithm. The reason for this choice is its wide range of applications that encompasses both hardware and software problems. Possible applications of the multivalued decision algorithm are: combinatorial synthesis of discrete functions by means of multiplexers, sequential synthesis of discrete functions using multivalued ROM's and multiplexers, transformation and optimisation of microprograms. The synthesis of Boolean functions constitutes an important particular case of the theory presented in this paper.