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
PermuteLogicFunction IsBiUnateFunction IsBiUnateFunctionTo IsLinearFunction IsMonotonicFunction IsPositiveUnateFunctionTo ToBinary ToAndXor ToShannonTree ToSOP DiagramGateName Dimacs Equiv ExcitationTable FeedbackSystem Get RadixFromIndex RadixToIndex object real() To2LayerOrAnd SAT StateTransitionBasedly Full TruthTable AdjustLogicVariableCount ComputeDONTCARE Normalization XORP Zero