He also was a pioneer in Boolean logic and was the first to demonstrate that NOR is functionally complete. This later had real applications -- the Apollo Guidan

He also was a pioneer in Boolean logic and was the first to demonstrate that NOR is functionally complete. This later had real applications -- the Apollo Guidance Computer was made up of 5,600 NOR gates, for instance [1] [1] https://en.wikipedia.org/wiki/NOR_logic https://en.wikipedia.org/wiki/NOR_logic