Analysis.IsZeroFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsZeroFunction
[bool result]=Analysis.IsZeroFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f=ZERO$.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsZeroFunction(f);
Print("IsZeroFunction?", g);
[g]=Analysis.IsZeroFunction(And(1,-1));
Print("IsZeroFunction?", g);
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsCovering IsInverse IsLinearFunction IsUnateFunctionTo AndXor FromBinary BinaryNumberToString GrayCode bool() bool ExcitationTable Get Load LogicScript long MantissaToPositiveInteger OrAnd Realization ShortestInputsForDistinguishTwoStates StateTransitionBasedly FullTable BestVariableOrder FastVerificationData SimpleCover SimpleInner CreateFromLogicFunctions GetNegativeLogicFunction XORP Zero