wie kann man beweisen ob eine Booleschen Funktion monoton ist ?
Indem du für alle Paare (a,b) prüfst ob f(a) ≤ f(b) aus a ≤ b folgt. Es gibt nur endlich viele, sollte also eigentlich kein Problem sein.
