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 IsSelfDualFunction IsSymmetricFunctionTo IsUnateFunctionTo AndOr AbsoluteExpression MinValue BinaryNumberToString OneComplement binary binaryioset() Diagram Imply NumberSystem LeastSignificantDigit RadixToIndex object() Print real Realization To2LayerAndXor Implementation Simplification DontCare string CreateFromLogicFunctions GetPositiveLogicFunction SemanticEval ShrinkLogicFunction Zero