Advertisement

Moscow University Mathematics Bulletin

, Volume 68, Issue 4, pp 211–214 | Cite as

Certain properties of generalized α-formulas

  • L. N. Sysoeva
Brief Communications
  • 24 Downloads

Abstract

The problem of realization of Boolean functions by generalized α-formulas is considered. The notion of a universal set of generalized α-formulas is introduced for a given set of Boolean functions. Universal sets of generalized α-formulas are constructed for the set of constant-preserving Boolean functions.

Keywords

Boolean Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. M. Glukhov, “α-Closed Classes and α-Complete Systems of Functions of the k-Valued Logic,” Diskretn. Matern. 1(1), 16 (1989).MathSciNetGoogle Scholar
  2. 2.
    A. L. Chernyshov, “Conditions of α-Completeness for Systems of Functions of the Multivalued Logic,” Diskretn. Matem. 4(4), 117 (1992).MathSciNetzbMATHGoogle Scholar
  3. 3.
    A. L. Shabunin, “Examples of α-Complete Systems of the k-Valued Logic for k = 3,4,” Diskretn. Matem. 18(4), 45 (2006).CrossRefGoogle Scholar
  4. 4.
    D. V. Trushchin, “Depth of α-Completion of Systems of Boolean Functions,” Vestn. Mosk. Univ. Matem. Mekhan., No. 2, 72 (2009).Google Scholar
  5. 5.
    D. V. Trushchin, “Complexity of Realization of Functions from a Class of Three-Valued Logic by Formulas of Special Type,” Vestn. Mosk. Univ. Matem. Mekhan., No. 4, 20 (2012).Google Scholar
  6. 6.
    S. V. Yablonskii, Introduction to Discrete Mathematics, (Vysshaya Shkola, Moscow, 2006) [in Russian].Google Scholar
  7. 7.
    Summary of O. B. Lupanov’s Lectures “Introduction to Mathematical Logic,” Ed. by A. B. Ugol’nikov (Moscow State Univ., Moscow, 2007) [in Russian].Google Scholar
  8. 8.
    L. N. Sysoeva, “Universal Sets of Generalized Formulas,” in Discrete Mathematics and its Applications, Proc. XI Int. Workshop (Moscow State Univ., Moscow, 2012), pp. 218–220.Google Scholar

Copyright information

© Allerton Press, Inc. 2013

Authors and Affiliations

  • L. N. Sysoeva
    • 1
  1. 1.Faculty of Mechanics and MathematicsMoscow State UniversityMoscowRussia

Personalised recommendations