Analysis.IsMonotonicFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsMonotonicFunction
[bool result]=Analysis.IsMonotonicFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ is a monotonic function.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsMonotonicFunction(f);
Print("IsMonotonicFunction?", g);
//-------------------------------------------------------------------
// result
MatchLogicFunction IsCovering IsEqual IsNegativeUnateFunctionTo IsOneFunction IsThresholdFunction And MaxValue BCD bool() ToDiagram DiagramGateName DigitalSystem ExcitationTable Load logicvardef Not MantissaToPositiveInteger MostSignificantDigit One To2LayerAndOr ToFullAnd Solve StateVariables ToDigitalSystem Compatibility FullTable TruthTable Normalization Zero