A little online logical expression checker