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
IsCovering IsLinearFunction IsParityFunction IsSymmetricFunction AndXor ToAndOr BCD BinaryNumberToString GrayCode OneComplement AddXorTerm Eq FeedbackSystem LogicScript LeastSignificantDigit MantissaToPositiveDecimal OrAnd To2LayerNand MaxSAT Solve AutoAssignInputAndStateVariables OutputAndStateBasedly CreateCompactTable Implementation HuffmanMealy DontCare Full TruthTable GetDontCareLogicFunction Zero