Combinatory logic

:This article is about a topic in mathematical logic and theoretical computer science, and is not to be confused with combinatorial logic, a topic in electronics.

(N (S I I Z) Ω I)

Now we need to apply N to (S I I Z).

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Either (S I I Z) has a normal form, or it does not. If it does

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

have a normal form, then the foregoing reduces as follows:

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

(N (S I I Z) Ω I)

~ ~ ~ ~ ~ ~ ~ ~ ~ ~