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
IsBiUnateFunctionTo IsSymmetricFunctionTo MinValue BCDEx3 BinaryNumberToString StringToBinaryNumber binary ToAndXor ToPOS ToROBDD Equiv ExcitationTable Imply minterm() Nand MantissaToPositiveDecimal MantissaToPositiveInteger OrAnd To2LayerAndXor MaxSAT Solve Sequential InputVariables CreateCompactTable Canonical CreateFromLogicFunctions AdjustLogicVariableCount Normalization XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.