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 IsMonotonicFunction IsPositiveFunction AndOr List MaxValue GrayCode binaryioset ToDualFunction Eq Imply MantissaToPositiveInteger PermutationMatrix Print To2LayerOrAnd To2LayerAndXor MaxSAT Sequential Implementation Simplification ROBDD SimpleCover StateDeviceName StateTransition AdjustLogicVariableCount ComputeDONTCARE CreateDummyLogicFunction IndependentBase ShannonExpansion Zero