Utility.AdjustLogicVariableCount
Back to table
/*
Logic-Function-Analysis
Utility.AdjustLogicVariableCount
[LogicFunction g]=Utility.AdjustLogicVariableCount(LogicFunction F, int minCount)
Adjust the minimum count of the logic variable for a logic function.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced IsSelfAntiDualFunction IsUnateFunctionTo IsZeroFunction bool ToNotFunction ToPOS DigitalSystem Count Get LogicScript Minus real() To2LayerOrAnd SAT MaxSAT Backwardly OutputAndStateBasedly CreateCompactTableWithFullSimplification Implementation Compatibility HuffmanMealy Canonical Full string() CreateFromLogicFunctions EnlargeLogicFunction IndependentBase ShrinkLogicFunction Zero