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
IsCovering IsInverse IsSelfAntiDualFunction IsThresholdFunction IsUnateFunctionTo MinValue ToROBDD Eq Count logicvardef() minterm Minus Not Radixes PermutationMatrix real() To2LayerAndOr SAT Solve Backwardly CreateCompactTable ROBDD Full MultiCover SimpleInner AdjustLogicVariableCount ComputeDONTCARE EnlargeLogicFunction XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.