Comparing the efficiency of normal form systems to represent Boolean functions - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2017

Comparing the efficiency of normal form systems to represent Boolean functions

Résumé

In this paper we compare various normal form representations of Boolean functions. We extend the study of [4], pertaining to the comparison of the asymptotic efficiency of representations that are produced by normal form systems (NFSs) that are factorizations of the clone Ω of all Boolean functions. We identify some properties, such as associativity, linearity, quasi-linearity and symmetry , that allow the efficiency of the corresponding NFSs to be compared in terms of the non-trivial connectives used. We illustrate these results by comparing well-known NFSs such as the DNF, CNF, Zhegalkin (Reed-Muller) polynomial (PNF) and Median (MNF) representations, thereby confirming the results of [4]. In particular, we show that the MNF is of equivalent complexity to, e.g., the Sheffer Normal Form (SNF), UNF and WNF (associated with 1 and 0-separating functions respectively) and thus that the latter are polynomially as efficient as any other NFS, and are strictly more efficient than the DNF, CNF, and Zhegalkin polynomial representations.
Fichier principal
Vignette du fichier
comparing normal form systems 30 06 2017.pdf (356.17 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01551761 , version 1 (30-06-2017)

Identifiants

  • HAL Id : hal-01551761 , version 1

Citer

Miguel Couceiro, Pierre Mercuriali, Romain Péchoux. Comparing the efficiency of normal form systems to represent Boolean functions. 2017. ⟨hal-01551761⟩
210 Consultations
753 Téléchargements

Partager

More