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
IsBiUnateFunctionTo IsInverse IsLinearFunction IsParityFunction IsThresholdFunction IsUnateFunction AbsoluteExpression PureBinary binary Convert AddXorTerm ToNotFunction ExcitationTable Nand real() Realization ToFullAnd MaxSAT Sequential ShortestInputsForTransition ToFeedbackSystem Simplification ROBDD GetDontCareLogicFunction GetSubTable RandomGenerate Normalization var() Xor Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.