Browser-based Sentential Logic Calculator