(assert-eq? false (not true))
(assert-eq? true (not false))
(assert-eq? false (not (not false)))

(assert-eq? true (and true true))
(assert-eq? false (and true false))
(assert-eq? false (and false true))
(assert-eq? false (and false false))

(assert-eq? true (and true true true true true))
(assert-eq? false (and true true true true false))

(assert-eq? true (or true true))
(assert-eq? true (or true true))
(assert-eq? true (or true true))
(assert-eq? false (or false false))

(assert-eq? false (or false false false false false))
(assert-eq? true (or false false true false false))