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
Advanced MatchLogicFunction IsBlankFunction IsCovering IsInverse IsSymmetricFunction List GrayCode StringToBinaryNumber TwoComplement binaryioset bool() Dimacs logicvardef() logicvardef minterm Not MantissaToPositiveInteger One OutputAndStateBasedly Compatibility FastVerificationData StateTransition CreateFromLogicFunctions GetNegativeLogicFunction CreateDummyLogicFunction Normalization ShrinkLogicFunction var Zero