Utility.CreateDummyLogicFunction
Back to table
/*
Logic-Function-Analysis
Utility.CreateDummyLogicFunction
[LogicFunction g]=Utility.CreateDummyLogicFunction(string Type, int bitCount, int dataCount);
Type : one of "AndOr", "OrAnd", "AndXor".
bitCount : the number of the inputs.
dataCount : the total number of the logic terms.
Create a dummy logic function. Type={AndOr, OrAnd, AndXor}.
This module is free of charge in the LogicScript.
*/
//-------------------------------------------------------------------
// examples
[f]=Utility.CreateDummyLogicFunction("OrAnd",4,5);
g=Simplification.Shannon(f);
h=And(f,Not(g));
Print(f,g,h);
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsOneFunction IsPositiveUnateFunctionTo IsUnateFunction FromBinary List binaryioset ToOrAnd ToROBDD ExcitationTable Count LogicScript logicvardef() Not NumberSystem MantissaToPositiveNumber PositiveDecimalToMantissa object One Realization ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables CreateCompactTableWithFullSimplification Simplification ShannonTree Balanced GetPositiveLogicFunction SemanticEval Xor Zero