General Boolean Functions

A general-use boolean function header unit with example.

What Does the Header Provide?

The header does provide:

1. A generalized way to define evaluable Boolean formulas of arbitrary logic and arbitrary variables.

2. AND, OR, and NOT operations (easily extendable to new logic operations).

3. Methods to assert if the formula is in CNF/DNF form.

The header does not provide: Though the example shows possible methods for doing all of the following

1. A shorthand to define a formula.

2. A set format for evaluation (i.e., the user must define a function to communicate variable assignments).

3. Any variable naming/organization scheme or tools.

Used By

• AFA (Computational Models)