PeterBurbery/BooleanLogic | Paclet Repository

Logic

The paclet has functions that are useful for studying logic.

BooleanStructureData

— information on the structure of a boolean function

BooleanTruthInputData

— information on how a boolean function's outputs depend on its inputs

FindBooleanAlternative

— find an alternative form of a boolean function with a specific set of operations

VennDiagram

— draw a Venn diagram for visualization

TruthTable

— generate a truth table

BooleanCompose

— functionally compose a Boolean expression

InverseBoole

— inverse function of Boole to convert 1 to True and 0 to False

AllBooleanForms

— compute all forms of a boolean function

AllMinimalBooleanForms

— compute all minimal forms of a boolean function

AllBooleanFormsLiteralCounts

— count the number of literals in every form for a boolean function

AllMinimalBooleanFormsLiteralCounts

— count the number of literals in every minimal form for a boolean function

RandomBooleanFunction

— generate a random boolean function

Future Research Ideas

I hope to implement these functions eventually. I don't know how to implement them currently.

AffineBooleanFunctionQ

— checks if the input is an affine boolean function

BentBooleanFunctionQ

— checks if the input is a bent boolean function

CanalizingBooleanFunctionQ

— checks if the input is a canalizing boolean function

HornBooleanFunctionQ

— checks if the input is functionally equivalent to a Horn boolean function

DefiniteHornBooleanFunctionQ

— checks if the input is functionally equivalent to a definite Horn boolean function

KromBooleanFunctionQ

— checks if the input is functionally equivalent to a Krom boolean function

SymmetricBooleanFunctionQ

— checks if the input is a symmetric boolean function

ThresholdBooleanFunctionQ

— checks if the input is a threshold boolean function

KarnaughMap

— reduce a boolean expression with a Karnaugh map algorithm

PrimeImplicantList

— outputs the prime implicants of a boolean expression

DisjunctivePrimeForm

— find the disjunctive prime form

TechNotes

▪

Boolean Basics