Text this: Application of decision diagrams of incompletely specified of k-valued logic functions in the synthesis of logical circuits