Comment by cartucho1

For something similar, but in Python, I made this a while ago:

https://logics.readthedocs.io/en/latest/

GUI here:

https://taut-logic.com/