Analysis.IsPositiveFunction

---

Back to table

/*
Logic-Function-Analysis
Analysis.IsPositiveFunction

[bool result]=Analysis.IsPositiveFunction(LogicFunction f);

f : a logic function
result : true | false

Check whether $f$ is a positive function.

*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
	1;2;3;
}
[g]=Analysis.IsPositiveFunction(f);
Print("IsPositiveFunction?", g);
[f]=AndOr()
{
	1;2;3;
}
[g]=Analysis.IsPositiveFunction(f);
Print("IsPositiveFunction?", g);

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