Analysis.IsBlankFunction

---

Back to table

/*
Logic-Function-Analysis
Analysis.IsBlankFunction

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

f : a logic function
result : true | false

Check whether $f=[]$.

In the Boolean algebra, there has no any operator can generate a blank logic function. However, in the computational Boolean algebra, the blank logic function is very important. We always start from a blank logic function in every computation. Therefore, sometimes a blank logic function may be returned.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
	1;2;3;
}
[g]=Analysis.IsBlankFunction(f);
Print("IsBlankFunction?", g);

h=AndOr(){;}
[g]=Analysis.IsBlankFunction(h);
Print("IsBlankFunction?", g);

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