Analysis.IsNegativeUnateFunctionTo

---

Back to table

/*
Logic-Function-Analysis
Analysis.IsNegativeUnateFunctionTo

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

f : a logic function
x : the index of the variable

Check whether $f$ is negative 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).
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
	1;2;3;
}
[g]=Analysis.IsNegativeUnateFunctionTo(f, var(1));
Print("IsNegativeUnateFunctionTo?", g);
h=AndOr(){ -1,2,3; }
[g]=Analysis.IsNegativeUnateFunctionTo(h, var(1));
Print("IsNegativeUnateFunctionTo?", g);

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