Publicações > Comunicações em Actas de Conferência

Linearly definable classes of Boolean functions

Couceiro, Miguel; Lehtonen, Erkko

Proceedings of the 1st International Conference on Algebras, Graphs and Ordered Sets (ALGOS 2020), (2020), 39–46
http://hal.archives-ouvertes.fr/hal-02918958

In this paper we address the question "How many properties of Boolean functions can be defined by means of linear equations?" It follows from a result by Sparks that there are countably many such linearly definable classes of Boolean functions. In this paper, we refine this result by completely describing these classes. This work is tightly related with the theory of function minors and stable classes, a topic that has been widely investigated in recent years by several authors including Maurice Pouzet.