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
IsBiUnateFunctionTo IsCovering IsEqual IsOneFunction AndOr FromBinary MaxValue ToBinary TwoComplement bool() ToPOS ToROBDD ToXORP DiagramGateName ExcitationTable Not Radixes real() Sequential ShannonTree Full MultiCover Shannon string GetPositiveLogicFunction Utility ShrinkLogicFunction var Xor Zero