This repository contains a collection of small educational applets. Every applet is a single-page application. The scope of the individual applets is supposed to be limited; fully embracing the KISS principle. A list of the applets follows.
This applet allows to input a propositional formula and constructs the corresponding truthtable.
Given a propositional formula this applet displays the corresponding syntax tree.
Via a graphical interface a simple graph with three color classes can be constructed. The resulting graph structure can be used to evaluate FO-formulae.
With contributing you agree to put your contributions under the MIT license.