and :: [Bool] -> Bool
-- testing 14 combinations of argument values
-- pruning with 37/47 rules
-- looking through 2 candidates of size 1
-- looking through 6 candidates of size 2
-- looking through 12 candidates of size 3
-- looking through 16 candidates of size 4
-- looking through 40 candidates of size 5
and [] = True
and (p:ps) = p && and ps
or :: [Bool] -> Bool
-- testing 14 combinations of argument values
-- pruning with 37/47 rules
-- looking through 2 candidates of size 1
-- looking through 6 candidates of size 2
-- looking through 12 candidates of size 3
-- looking through 16 candidates of size 4
-- looking through 40 candidates of size 5
or [] = False
or (p:ps) = p || or ps
and :: [Bool] -> Bool
-- testing 14 combinations of argument values
-- pruning with 40/50 rules
-- looking through 2 candidates of size 1
-- looking through 6 candidates of size 2
-- looking through 12 candidates of size 3
-- looking through 18 candidates of size 4
and ps = foldr (&&) True ps
or :: [Bool] -> Bool
-- testing 14 combinations of argument values
-- pruning with 40/50 rules
-- looking through 2 candidates of size 1
-- looking through 6 candidates of size 2
-- looking through 12 candidates of size 3
-- looking through 18 candidates of size 4
or ps = foldr (||) False ps