q == if p
q else false fi
p,q:
. (pq) 
b == if b false else true fib:. b 
q == if p true else q fip,q:. (p q) | Some definitions of interest. | |
| band | q == if p q else false fi |
| p,q:. (pq) | |
| bnot | b == if b false else true fi |
| b:. b | |
| bor | q == if p true else q fi |
| p,q:. (p q) |
About:
 |  |  |  |  |  |  |