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
IsCovering IsEqual IsInverse IsSelfAntiDualFunction IsSymmetricFunctionTo binary() ToBinary BCDEx3 ToOrAnd ToNotFunction minterm() Minus MantissaToPositiveInteger MantissaToPositiveNumber PositiveNumberToMantissa OrAnd Print SOP To2LayerAndOr Save Assign InputVariables ToFeedbackSystem To2layerOrAnd string() RandomGenerate Utility AdjustLogicVariableCount ShrinkLogicFunction Zero