Linearly definable classes of Boolean functions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Linearly definable classes of Boolean functions

Abstract

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.
Fichier principal
Vignette du fichier
main.pdf (281.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02912876 , version 1 (07-08-2020)

Identifiers

  • HAL Id : hal-02912876 , version 1

Cite

Miguel Couceiro, Erkko Lehtonen. Linearly definable classes of Boolean functions. ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France. ⟨hal-02912876⟩
54 View
377 Download

Share

Gmail Facebook X LinkedIn More