Utility.ShrinkLogicFunction
Back to table
/*
Logic-Function-Analysis
Utility.ShrinkLogicFunction
[LogicFunction g]=Utility.ShrinkLogicFunction(LogicFunction F, var() varList)
Only take the specified logic variables such to shrink the size of the logic function.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced MatchLogicFunction IsMonotonicFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction And AndOr ToBinary BinaryNumberToString bool ToSOP ToTruthTable ToVariableInvertedFunction minterm Nand Nor real MaxSAT Solve Assign Backwardly HuffmanMealy ShannonTree Fast Canonical GetDontCareLogicFunction Utility IndependentBase Normalization Zero