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
IsBiUnateFunction IsBiUnateFunctionTo IsZeroFunction AndOr BDD ToAndOr Binary NineComplement StringToBinaryNumber ToDualFunction ToROBDD FeedbackSystem Nand MantissaToPositiveNumber PositiveDecimalToMantissa object() real() Solve TransitionSeries Assign StateTransitionBasedly ToFeedbackSystem FastVerificationData Canonical GetPositiveLogicFunction ComputeFunctionOrder var() Xor XORP Zero