Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title Downloads

Monotone Modulo-m Functions: Using Mathematica to Find the Number of Monotone Modulo-m Functions for v Number of Variables

Rodrigo Obando
Organization: Columbus State University

2006 Wolfram Technology Conference
Conference location

Champaign IL

Every set of Boolean Functions of v variables has a subset of functions called Monotone Boolean Functions of v variables. A Boolean function m belongs to this subset if and only if

a <= b -> m[a] <= m[b]

In 1897, Richard Dedekind asked the question: How many Monotone Boolean Functions of a given number of variables are there?

*Mathematics > Calculus and Analysis > Calculus

boolean functions
Downloads Download Wolfram CDF Player

TechConf2006_Obando_presentation.nb (946.1 KB) - Mathematica Notebook [for Mathematica 5.2]