Ch 04

cc/ @fabioyamate @carlosgaldino.

Please review.
it could be:
```haskell
(∨∨) :: Bool -> Bool -> Bool
False ∨∨ a = a
_ ∨∨ _  = True
```

I'll update later today