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 IsCovering IsSelfDualFunction IsUnateFunctionTo AndOr ToBinary BinaryNumberToString OneComplement ToDualFunction ToXORP Email Eq ExcitationTable Imply Nand NumberSystem RadixToIndex SAT TransitionSeries ToDigitalSystem HuffmanMealy ShannonTree SimpleCover SimpleInner GetDontCareLogicFunction Utility ShrinkLogicFunction Substitute XORP Zero