== Signature ==
False :: Bool
 True :: Bool
  not :: Bool -> Bool
 (&&) :: Bool -> Bool -> Bool
 (||) :: Bool -> Bool -> Bool

== Laws ==
  1. not False = True
  2. not True = False
  3. x && x = x
  4. x || x = x
  5. x && False = False
  6. x && True = x
  7. False && x = False
  8. True && x = x
  9. x || False = x
 10. x || True = True
 11. False || x = x
 12. True || x = True
 13. not (not x) = x
 14. x && y = y && x
 15. x || y = y || x
 16. x && not x = False
 17. x || not x = True
 18. x && (x && y) = x && y
 19. x && (x || y) = x
 20. (x && y) && z = x && (y && z)
 21. x || (x && y) = x
 22. (x || y) || z = x || (y || z)
 23. not x && not y = not (x || y)