SAVY Truth Table Solver

Inspiration

This tool would assist other students to have a better understanding of how to form truth tables in CSC270: Discrete Structures at TCNJ and other colleges. This would be another useful tool that students can experiment with.

What it does

It generates a truth table for all possible combinations of propositional variables.

How we built it

2 people worked on the front end and 2 worked on the back end

Challenges we ran into

Making the algorithm was much more challenging than we were expecting, and we were not able to integrate everything together in time.

Accomplishments that we're proud of

We are proud of building the algorithm required to generate the truth table on the front end.

What we learned

We learned how to work in a team of 4 with different ideas.

What's next for SAVY Truth Table Solver

Make the code a lot cleaner and have a better time complexity algorithm.

Built With

Submitted to

HackTCNJ 2024

Created by

I helped on the backend of this project, and I created the algorithm to make the truth table generator and the algorithm for creating the parse tree.

Yehuda Binik
I helped understand and implement the back-end algorithm that generates the abstract syntax tree to validate the input and then take advantage of post-order traversal to generate the truth table for all possible sets of inputs.

Andrew Michael
I worked on the front end of this project with Vijay the was my first time using Html and CSS on a project to this extent. I learnt a lot form my team while working on this project.

Stenneth Swaby
vmanc

Updates

Andrew Michael started this project — Feb 18, 2024 11:41 AM EST

Leave feedback in the comments!

Log in or sign up for Devpost to join the conversation.