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
PermuteLogicFunction IsCovering IsNegativeUnateFunctionTo IsParityFunction MaxValue BCD StringToBinaryNumber ToSOP Dimacs Equiv ExcitationTable list() Load long Minus Not RadixFromIndex RadixToIndex One real() To2LayerAndOr ToFullAnd Solve ShortestInputsForDistinguishTwoStates Backwardly CreateCompactTable Simplification string TruthTable Zero