== API ==
-- functions --
False, True :: Bool
not :: Bool -> Bool
(&&), (||) :: Bool -> Bool -> Bool

-- variables --
p, q, r :: Bool

== Testing ==
Depth 1: 6 terms, 5 tests, 17 evaluations, 6 classes, 0 raw equations.
Depth 2: 61 terms, 500 tests, 28574 evaluations, 15 classes, 46 raw equations.
Depth 3: 412 terms, 500 tests, 205912 evaluations, 53 classes, 359 raw equations.
359 raw equations; 53 terms in universe.

== Equations about not ==
  1: not False == True
  2: not True == False
  3: not (not p) == p

== Equations about (&&) ==
  4: p&&q == q&&p
  5: p&&p == p
  6: p&&False == False
  7: p&&True == p
  8: p&&(q&&r) == q&&(p&&r)

== Equations about (||) ==
  9: p||q == q||p
 10: p||p == p
 11: p||False == p
 12: p||True == True
 13: p||(q||r) == q||(p||r)

== Equations about several functions ==
 14: p&&(p||q) == p
 15: p||(p&&q) == p
 16: p&&not p == False
 17: p||not p == True
 18: (p||q)&&(p||r) == p||(q&&r)
 19: (p&&q)||(p&&r) == p&&(q||r)
 20: not p&&not q == not (p||q)
 21: not p||not q == not (p&&q)