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