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 IsLinearFunction IsPositiveFunction IsUnateFunctionTo List MinValue BCD BCDEx3 GrayCode NineComplement TwoComplement ToAndXor ToOrAnd Email ExcitationTable Count LogicScript Nand Not MantissaToPositiveDecimal MantissaToPositiveInteger Or To2LayerNor To2LayerAndXor ToStateTransitionTable Implementation Canonical MultiCover StateDeviceName Zero