Skip to main content
SpringerLink
Log in

On systems of Boolean equations

  • Published:
Computational Mathematics and Mathematical Physics Aims and scope Submit manuscript

Abstract

Systems of Boolean equations are considered. The order of maximal consistent subsystems is estimated in the general and “typical” (in a probability sense) cases. Applications for several well-known discrete problems are given.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. Rudeany, Boolean Function and Equations (North-Holland, Amsterdam, 1974).

    Google Scholar 

  2. V. K. Leont’ev and G. P. Tonoyan, “Approximate solutions of systems of Boolean equations,” Comput. Math. Math. Phys. 33, 1221–1227 (1993).

    MathSciNet  Google Scholar 

  3. V. K. Leont’ev, “An upper bound for the α-height of (0, 1)-matrices,” Math. Notes 15, 245–250 (1974).

    Article  MATH  Google Scholar 

  4. V. K. Leont’ev, “Symmetric Boolean polynomials,” Comput. Math. Math. Phys. 50, 1447–1458 (2010).

    Article  MathSciNet  Google Scholar 

  5. V. I. Levenshtein, “Elements of coding theory,” in Discrete Mathematics and Mathematical Problems in Cybernetics (Nauka, Moscow, 1974), pp. 207–305 [in Russian].

    Google Scholar 

  6. A. A. Sapozhenko, Dedekind’s Problem and the Method of Boundary Functionals (Fizmatlit, Moscow, 2009) [in Russian].

    Google Scholar 

  7. M. N. Vyalyi, V. K. Leont’ev, and M. V. Osetrov, “Monotone Boolean polynomials,” Diskret. Anal. Issled. Operatsii, Ser. 1 9(4), 41–49 (2002).

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dorodnicyn Computing Center, Russian Academy of Sciences, ul. Vavilova 40, Moscow, 119333, Russia

    V. K. Leont’ev & G. P. Tonoyan

Authors
  1. V. K. Leont’ev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. P. Tonoyan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. K. Leont’ev.

Additional information

Original Russian Text © V.K. Leont’ev, G.P. Tonoyan, 2013, published in Zhurnal Vychislitel’noi Matematiki i Matematicheskoi Fiziki, 2013, Vol. 53, No. 5, pp. 800–807.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Leont’ev, V.K., Tonoyan, G.P. On systems of Boolean equations. Comput. Math. and Math. Phys. 53, 632–639 (2013). https://doi.org/10.1134/S0965542513050084

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0965542513050084

Keywords

Search

Navigation