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
IsBiUnateFunction IsBlankFunction IsEqual IsInverse IsLinearFunction ToAndOr Binary BinaryNumberToString GrayCode binary binaryioset() AddXorTerm DigitalSystem Imply minterm() Nand Nor One To2LayerOrAnd TransitionSeries InputVariables Forwardly ToDigitalSystem HuffmanMealy ShannonTree Canonical Shannon GetDontCareLogicFunction ShannonExpansion Zero