BooleanAlgebra

Full name Microsoft.VisualBasic.Math.Lambda.Symbolic.BooleanAlgebra Assembly Microsoft.VisualBasic.Math.Lambda Members 4

01 Syntax

Microsoft.VisualBasic.Math.Lambda.Symbolic.BooleanAlgebra

02 Methods

Name	Overloads	Summary
TruthTable	1	Enumerate the truth table of a boolean function over the given variables and return the list of minterms (integer codes) for which the function is true.
QuineMcCluskey	1	Quine-McCluskey minimisation.
QMCSimplifySOP	1	Minimal Sum-Of-Products as an expression tree.
QMCSimplifyPOS	1	Minimal Product-Of-Sums as an expression tree.

03 Members

method TruthTable #

TruthTable(String(), Func(Of Boolean(), Boolean))

Enumerate the truth table of a boolean function over the given variables and return the list of minterms (integer codes) for which the function is true. Variable vars(0) is the most significant bit.

method QuineMcCluskey #

QuineMcCluskey(String(), Int32(), Int32())

Quine-McCluskey minimisation. Returns the prime implicants as strings of 0/1/- (one per variable, most significant first).

method QMCSimplifySOP #

QMCSimplifySOP(String(), Int32(), Int32())

Minimal Sum-Of-Products as an expression tree.

method QMCSimplifyPOS #

QMCSimplifyPOS(String(), Int32(), Int32())

Minimal Product-Of-Sums as an expression tree.