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
IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSymmetricFunction PureBinary StringToBinaryNumber TwoComplement ToTruthTable ToVariableInvertedFunction Dimacs ExcitationTable Nand MantissaToPositiveDecimal real ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables StateVariables ToFeedbackSystem ToDigitalSystem To2layerOrAnd Compatibility FastVerificationData ROBDD Full string() TruthTable GetSubTable ComputeDONTCARE ComputeFunctionOrder var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.