A simple Mathematical logic calculator. - View it on GitHub