GitHub - mhairifin/Logic: Takes a logical formula and produces a truth table based on that formula.

mhairifin / Logic Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Takes a logical formula and produces a truth table based on that formula.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Makefile		Makefile
Makefile~		Makefile~
README		README
shunting.c		shunting.c
shunting.c~		shunting.c~
shunting.h		shunting.h
stack.c		stack.c
stack.c~		stack.c~
stack.h		stack.h
stack.h~		stack.h~
ttable.c		ttable.c
ttable.c~		ttable.c~

Repository files navigation

Logic

My favorite part of this project is the implementation of Dkistra's shunting algorithm, to rearrange a logical formula written traditionally into a propositional formula. This was the most interesting and challenging part of the project, and required creating a stack data structure.
I am particularly fond of this project because it can be used to solve logic problems. If you can encode a logic problem into a formula, then run it through this program, the resulting truth table can show the answer to the logic problem.