Search NKS | Online
31 - 33 of 33 for Nand
And the pattern of results for simple multiway systems is roughly similar to those on page 805 for operator systems—although, for example, the associativity of concatenation makes it impossible for example to get the operators for Nand and basic logic.
The pictures below nevertheless show a rather simple implementation of a Nand gate in Life.
Combinators
After it became widely known in the 1910s that Nand could be used to build up any expression in basic logic (see page 1173 ) Moses Schönfinkel introduced combinators in 1920 with the idea of providing an analogous way to build up functions—and to remove any mention of variables—particularly in predicate logic (see page 898 ).