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
IsZeroFunction AndOr ToAndOr AddXorTerm Diagram DigitalSystem LogicScript long() long Nand MantissaToPositiveInteger Radixes Or To2LayerOrAnd To2LayerAndOr To2LayerAndXor Solve Assign Forwardly Compatibility FastVerificationData Full MultiCover SimpleCover string GetNegativeLogicFunction RandomGenerate EnlargeLogicFunction SemanticEval Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.