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
IsBlankFunction IsPositiveUnateFunctionTo IsSelfDualFunction AndOr FromBinary List BCDEx3 PureBinary binary binaryioset() Convert ToDualFunction ToShannonTree Diagram logicvardef() long() long One To2LayerAndOr InputVariables Backwardly ToFeedbackSystem DontCare Full SimpleCover GetDontCareLogicFunction AdjustLogicVariableCount IndependentBase SemanticEval Zero