Analysis.IsUnateFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsUnateFunction
[bool result]=Analysis.IsUnateFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ is unate function to all its variables.
The unateness indicates the effect of its logic variables with a logic function when they change their value between (0,1).
*/
//-------------------------------------------------------------------
// examples
[f]=AndOr()
{
1;-2;3;
}
[g]=Analysis.IsUnateFunction(f);
Print("IsUnateFunction?",g);
//-------------------------------------------------------------------
// result
Advanced MatchLogicFunction IsPositiveFunction IsSelfAntiDualFunction IsSymmetricFunctionTo IsThresholdFunction List ToBinary NineComplement ToAndXor Imply logicvardef() minterm() Nor PositiveIntegerToMantissa To2LayerNor SAT ShortestInputsForDistinguishTwoStates TransitionSeries StateTransitionBasedly ToStateTransitionTable CreateCompactTable Implementation FullTable DontCare MultiCover StateTransition AdjustLogicVariableCount SemanticEval Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.