Propositional Logic

In this game, the goal is to find the equivalent propositional formulae to the one given in a limited amount of time by chaining adjacent tiles on the grid. Once you've created a formula, check it using the Enter button. 

This was created in 24 hours for HackCMU 2022. Currently, there's only one board, but an updated version with multiple randomized boards will be uploaded soon.

Credit to ZeroRanger for the excellent background music and Daniel Wang for being my partner!

------------------

Feel free to ask technical questions about the game's implementation! We're happy to answer.