a:
2. (
n.if n=0
true else false fi)(a) = b
b = true a:2. (n.if n=0 true else false fi)(a) = b
a:2. (n.if n=0 true else false fi)(a) = b)| 1 | 2. b = true a:2. (n.if n=0 true else false fi)(a) = b |
| 2 | 2. b = true a:2. (n.if n=0 true else false fi)(a) = b |
About:
 |  |  |  |  |
 |  |  |  |