MonotoneFunction DFS-based algorithm to check whether boolean function is monotone or not Time complexity of the algorithm is where n is arity. There is no proven algorithm that performs better in terms of time complexity.