Otherwise, I might also have mentioned Wittgenstein's alleged invention of truth tables in my reply!
It seems Wittgenstein was simply an early user of them. Perhaps he coincidentally came up with the invention himself, but probably not.
[0]: https://arxiv.org/pdf/1108.2429.pdf
