project: table of truth
This is my first project, well first public open source project. Basically what this does is print logical operations and cases.
I originally got the idea from one of our subjects called “Discrete Mathematics” - and I implemented it.
Technology Stack#
HTML5, CSS3, Javascript. Everything is done on the client side, the server is just a basic static file server.
I wanted(at first) to go with dart2js instead of javascript. But javascript is much easier to read and understand than dart.
Features#
- Inserting Cases
- Inserting Operations
- Inserting Operations inside Operations
- Inverting Cases and Operations
- Responsive UI
- Right Click Remove, Left Click Not Value
Demo Site#
The demo site is hosted on github pages, here’s a link.
Also if you wanna checkout the source, here’s a link
Screenshot#

How To Use#
Basically, you press onto the button at the bottom right. From there you could add new cases or operations
To add a new case:

To add a new operation:

Then choose the operation type, first argument and second argument.

Operations Symbols#
I use katex to display the symbols for the operations. If you’re confused about the symbols and their functions, check out this table:
| Name | Symbols |
|---|---|
| And | $ \land $ |
| Or | $ \lor $ |
| Implies | $ \rightarrow $ |
| Biconditional | $ \leftrightarrow $ |