« Previous   Next »

Combinatorial Logic Function

Diagram

[list(AndOr) flist]=Diagram.ToAndOr(Diagram diag);

Convert a Diagram object to a list of logic function.

In the other hand, the Convert.ToAndOr() only returns a logic function if exists.

TruthTable

[TruthTable subTable]=TruthTable.GetSubTable(TruthTable table, int outputIndex);

Get the outputIndex-th sub-table out of the given TruthTable object.

[TruthTable table]=TruthTable.RandomGenerate(
        int inputCount, int outputCount, bool withDontCare);

Randonly generate a TruthTable for the experimental purpose.

[list(AndOr) flist]=TruthTable.ToAndOr(TruthTable table);

Convert a TruthTable object to a list of logic function.

In the other hand, the Convert.ToAndOr() only returns a logic function if exists.

[AndOr() g]=TruthTable.GetPositiveLogicFunction(TruthTable f);

Compute the positive AndOr logic functions by the given TruthTable object.

The positive logic function is those whose output value is 1 in the TruthTable object.

[AndOr() g]=TruthTable.GetNegativeLogicFunction(TruthTable f);

Compute the negative AndOr logic functions by the given TruthTable object.

The negative logic function is those whose output value is 0 in the TruthTable object.

[AndOr g]=TruthTable.GetDontCareLogicFunction(TruthTable f);

Compute the DONTCARE AndOr logic function by the given TruthTable object.

The DONTCARE logic function is those whose output value is not mentioned in the TruthTable object.

BDD

[list(AndOr) flist]=BDD.ToAndOr(BDD diag);

Convert a BDD object to a list of logic function.

In the other hand, the Convert.ToAndOr() only returns a logic function if exists.

AndXor

[AndOr g]=Convert.AndXor.ToAndOr(AndXor f);

Convert an AndXor logic function to AndOr logic function. It is similar to the Convert.ToAndOr().

AndOr

[OrAnd g]=Convert.AndOr.ToOrAnd(AndOr f);

Convert an AndOr logic function to OrAnd logic function. It is similar to the Convert.ToOrAnd().

[AndXor g]=Convert.AndOr.ToAndXor(AndOr f);

Convert an AndOr logic function to AndXor logic function. It is similar to the Convert.ToAndXor().

General Conversion

[LogicFunction g]=Convert.ToVariableInvertedFunction(LogicFunction f);

Create the variable-inverted function of the given logic function. \( g(x)=f(\bar{x}) \)

The output is in the similar format if the input is AndOr, AndXor or OrAnd logic object. For the other case, the output could be only in the AndOr for convenience.

[AndOr g]=Convert.ToDualFunction(LogicFunction f);

Compute the DUAL logic function.

In any textbook of the Boolean algebra, the DUAL logic function is always expressed in the POS, or OrAnd format. For explicitly distinguish the definition of DUAL and POS, in LogicScript, we always use the AndOr format to express the DUAL logic function.

To get the POS format of a logic function, please use the Convert.ToOrAnd().

[LogicFunction g]=Convert.ToNotFunction(LogicFunction f);

Compute the NOT logic function.

[Diagram g]=Convert.ToDiagram(LogicFunction f);

Convert a logic object to the Diagram object.

[TruthTable g]=Convert.ToTruthTable(LogicFunction f);

Convert a logic object to the TruthTable object.

[BDD g]=Convert.ToROBDD(LogicFunction f);

Convert a logic object to the reduced-ordered BDD object.

[BDD g]=Convert.ToShannonTree(LogicFunction f);

Convert a logic objec to the BDD object. This BDD object is not reduced nor ordered. It is just a BDD with a very small size. In many cases, its size is smaller than the ROBDD.

[AndOr g]=Convert.ToAndOr(LogicFunction f);

Convert a logic object to the AndOr format.

[OrAnd g]=Convert.ToOrAnd(LogicFunction f);

Convert a logic object to the OrAnd format.

[AndXor g]=Convert.ToAndXor(LogicFunction f);

Covnert a logic object to the AndXor format.

« Previous   Next »