1 line
43 B
Plaintext
1 line
43 B
Plaintext
not[x] = [x = F -> T; x = NIL -> T; T -> F] |
not[x] = [x = F -> T; x = NIL -> T; T -> F] |