2023-09-13 09:33:57 +00:00
|
|
|
(assert= false (not true))
|
|
|
|
(assert= true (not false))
|
|
|
|
(assert= false (not (not false)))
|
2023-09-11 15:54:59 +00:00
|
|
|
|
2023-09-13 09:33:57 +00:00
|
|
|
(assert= true (and true true))
|
|
|
|
(assert= false (and true false))
|
|
|
|
(assert= false (and false true))
|
|
|
|
(assert= false (and false false))
|
2023-09-11 15:54:59 +00:00
|
|
|
|
2023-09-13 09:33:57 +00:00
|
|
|
(assert= true (and true true true true true))
|
|
|
|
(assert= false (and true true true true false))
|
2023-09-11 15:54:59 +00:00
|
|
|
|
2023-09-13 09:33:57 +00:00
|
|
|
(assert= true (or true true))
|
|
|
|
(assert= true (or true true))
|
|
|
|
(assert= true (or true true))
|
|
|
|
(assert= false (or false false))
|
2023-09-11 15:54:59 +00:00
|
|
|
|
2023-09-13 09:33:57 +00:00
|
|
|
(assert= false (or false false false false false))
|
|
|
|
(assert= true (or false false true false false))
|