Check My Logic

I came across a logic problem the other day which required evaluation of some basic expressions to determine which were tautologies and which were not. It wasn’t a difficult problem, but I wanted to check my answer. I couldn’t easily find an online logical expression evaluator so I made checkmylogic.com.

Check My Logic

Find the source code here.