Analysis.IsBiUnateFunctionTo

---

Back to table

/*
Logic-Function-Analysis
Analysis.IsBiUnateFunctionTo

[bool result]=Analysis.IsBiUnateFunctionTo(LogicFunction f, var() x);

f : a logic function
x : the index of the variable.
result : true | false

Check whether $f$ is bi-unate function to its variable x.

The unateness indicates the effect of its logic variables with a logic function when they change their value between (0,1).
In LogicScript, the symbols or the indexes are always expressed into the list var().
*/
//-------------------------------------------------------------------
// examples
[f]=AndOr()
{
   1;2;3;
}
[g]=Analysis.IsBiUnateFunctionTo(f,var(1));
Print(g);
[f]=AndOr()
{
   2;3;
}
[g]=Analysis.IsBiUnateFunctionTo(f,var(1));
Print(g);
[f]=AndOr()
{
   1,2;-1,3;
}
[g]=Analysis.IsBiUnateFunctionTo(f,var(1));
Print(g);


//-------------------------------------------------------------------
// result