https://thelogictutorial.blogspot.com/2024/04/operations-on-functions-theory-of-logic.html