Determination of the fittest number of truth-values and canonical forms of logical functions for a many-valued axiom set by a computer.