18 lines
425 B
Plaintext
18 lines
425 B
Plaintext
|
(assert= true true)
|
||
|
|
(assert= false false)
|
||
|
|
|
||
|
|
(assert= false (not true))
|
||
|
|
(assert= true (not false))
|
||
|
|
|
||
|
|
(assert= true (and true true))
|
||
|
|
(assert= false (and true false))
|
||
|
|
(assert= false (and false true))
|
||
|
|
(assert= false (and false false))
|
||
|
|
|
||
|
|
(assert= true (or true true))
|
||
|
|
(assert= true (or true false))
|
||
|
|
(assert= true (or false true))
|
||
|
|
(assert= false (or false false))
|
||
|
|
|
||
|
|
(and false (: (assert= 0 1) false))
|
||
|
|
(or true (: (assert= 0 1) false))
|