There are seven functions with type `Bool -> Bool`. The could be named:
- identity
- NOT 
- AND
- NAND
- OR
- XOR
- NOR

There are two functions with type `Bool -> Bool -> Bool`:
- ==
- \=