Abstract:
The theory of disjunctive normal forms is generalized to binary functions of multivalued arguments. Fundamental concepts and properties of these generalizations are considered. An efficient method for constructing disjunctive normal forms for binary functions of multivalued arguments with a small number of zeros is proposed. Disjunctive normal forms of an analogue of the Yablonsky function are studied in detail.
Key words:disjunctive normal forms, binary functions of multivalued arguments, Boolean functions, $k$-valued logic, functions with few zeros, Yablonsky’s formula.