Proof in functions

This is a good article on which, as it states, lets us “explore a beautiful idea that straddles the line between mathematics and computer science.” And here’s a link to De Morgan’s Law on Wikipedia.