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

screenshot of a couple of cases and operations

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: add a new case dialog

To add a new operation: add a new operation dialog

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

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:

NameSymbols
And$ \land $
Or$ \lor $
Implies$ \rightarrow $
Biconditional$ \leftrightarrow $