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
Analysis IsCovering And Binary bool Equiv logicvardef Nand MostSignificantDigit RadixToIndex OrAnd PermutationMatrix To2LayerNor To2LayerOrAnd To2LayerAndXor Solve Assign StateVariables ToStateTransitionTable CreateCompactTableWithFullSimplification To2layerOrAnd BestVariableOrder Shannon StateDeviceName CreateFromLogicFunctions GetSubTable Utility IndependentBase Normalization Zero