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
MatchLogicFunction Analysis IsBlankFunction IsEqual IsPositiveFunction BDD ToAndOr binary() OneComplement binaryioset() ToNotFunction Dimacs Imply long() Nor MantissaToPositiveDecimal MostSignificantDigit Radixes RadixToIndex OrAnd Save TransitionSeries Assign OutputAndStateBasedly ToStateTransitionTable ROBDD StateDeviceName var Xor Zero