Affordable Access

Linearly definable classes of Boolean functions

Authors
  • Couceiro, Miguel
  • Lehtonen, Erkko
Publication Date
Aug 26, 2020
Source
HAL
Keywords
Language
English
License
Unknown
External links

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.

Report this publication

Statistics

Seen <100 times