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 IsBiUnateFunctionTo IsUnateFunction Binary AbsoluteExpression BCD StringToBinaryNumber ToSOP DigitalSystem Eq long() minterm() Minus MantissaToPositiveInteger MantissaToPositiveNumber object To2LayerAndXor ShortestInputsForTransition StateVariables StateTransitionBasedly ToStateTransitionTable ShannonTree Balanced FastVerificationData SimpleCover CreateFromLogicFunctions GetPositiveLogicFunction EnlargeLogicFunction XORP Zero