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

搜索本網站 :

 
Buy website traffic cheap