Analysis.IsLinearFunction

---

Back to table

/*
Logic-Function-Analysis
Analysis.IsLinearFunction

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

f :  a logic function
result : true | false

Check whether $f$ a linear function.

A linear function has the max order of 1.
Despite of the meaning of the linear, a linear function is very difficult to simplify.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
	1;2;3;
}

[h]=AndXor()
{
	1;
       2,3;
}
[g]=Analysis.IsLinearFunction(f);
Print("IsLinearFunction?", g);
[g]=Analysis.IsLinearFunction(h);
Print("IsLinearFunction?", g);

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