Article collection "Mathematical Problems of Cybernetics" №2, Moscow, 1989
Authors:Ugol'nikov A.B.
Complexity of the realization of some sequence of multivalued logic functions by formulas
Abstract:
The realization of multivalued logic functions by formulas is considered. An example of a sequence of 5-valued logic functions with double exponential increasing formula size (with respect to the number of variables) over some incomplete basis is constructed.
Keywords:
multivalued logic functions, formulas, formula complexity
