Written: Feb. 13, 2022

Maple packages

• BoolFns.txt, a Maple package containing tools for exploration of Boolean functions and DNF's (includes a variant of the Quine-McCluskey method)

• CanonicalBF.txt, a Maple package for finding the canonical representatives for each equivalence class of Boolean functions of a particular number of variables

• SLprog.txt, a Maple package for the generation and evaluation of straight-line programs (a model of Boolean circuits)

Sample Input and Output files

• The following input file will generate and then populate the data file for monotone functions of 3 variables:

  The input file generates the file MonoCatFileA3var.txt  

• Catalogs of minimal circuits

  In the catalogs which follow, each entry is the representative function of a Big Equivalence Class. The first line contains the number of the representative function (as in OEIS sequence A227723) followed by the set of true points for the function. The next line is the encoding of a minimal straight-line program which computes the function. During the course of this project, we submitted sequence A349743 to OEIS. This is the subsequence of A227723 for monotone functions.

  All Functions	Monotone Functions
  1 variable	1 variable
  2 variables	2 variables
  3 variables	3 variables
  4 variables	4 variables
  	5 variables
  Summary of Results	Summary of Results

Blair Seidler's Home Page