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