He didn’t actually base it on the Yiching, he just noticed that it could be expressed neatly in binary. But he had come up with binary code before that.

He was ahead of his time, definitely, and binary logic is one critical step in getting there, but we're a long way from having a formal language to represent all claims that would ever arise in human argumentation to the point that it's simply a matter of calculation to resolve them.