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 $ |