home    family    work    school    resume

Boolean Logic

This is an applet/application that I created for Math 15a, Discrete Mathematics. The idea behind it is that you can enter a well formed logical statement and it the program will tell the user whether the statement is a tautology, contradiction or neither. I went beyond that and produced a truth table for the logical sentence with the results appearing on the far right side.
Try it out with this contradiction:
a ^ ~a ('a' can never be both true 'a' and (^) not true '~a' at the same time, which is what 'a ^ ~a' says) or this tautology: a v ~a ('a' is always either true ('a') or (v) false ('~a'), which is what this statement says (a v ~a))