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

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

GUI here:

https://taut-logic.com/

Oh I know what I'm doing on my lunch break today.