NANDがあればほかのすべてのロジックが実現できるって
定理かなんかなかったっけか