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
IsPositiveUnateFunctionTo IsZeroFunction And ToBinary BCDEx3 GrayCode OneComplement Eq Imply Get Nor MantissaToPositiveInteger object POS To2LayerAndOr Save InputVariables Backwardly ToFeedbackSystem GetExcitationTable Compatibility ROBDD DontCare StateTransition CreateFromLogicFunctions GetDontCareLogicFunction GetPositiveLogicFunction GetSubTable var Zero