Analysis.IsThresholdFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsThresholdFunction
[bool result]=Analysis.IsThresholdFunction(LogicFunction f, int t);
f : a logic function
t : an integer less than the number of the variables.
Check whether $f$ is a threshold function with the threshold value $t$.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsThresholdFunction(f,1);
Print("IsThresholdFunction?", g);
//-------------------------------------------------------------------
// result
IsBlankFunction IsCovering IsMonotonicFunction IsSelfAntiDualFunction Binary MaxValue BinaryNumberToString StringToBinaryNumber binaryioset bool AddXorTerm ToNotFunction ToVariableInvertedFunction DiagramGateName DigitalSystem Email Get logicvardef MantissaToPositiveNumber RadixFromIndex OrAnd CreateCompactTable To2layerOrAnd Simplification Canonical DontCare StateDeviceName ComputeDONTCARE ComputeFunctionOrder Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.