Abstract: S/sub N/-algebra-the new mathematical means for the logic design of digital systems-is presented. The paper contains the information for an introduction to S/sub N/-algebra: main definitions ...

Abstract: The article discusses partially defined discrete functions and investigates the problem of logical continuation of such functions in the class of canonical normal forms. A theorem is proved ...