Sentential Logic

Enter one or more SL sentences in the top window.
Use the ~ v & > and = keys for the connectives.

A version of this app is now available for iPhone and iPod Touch.
Go here and follow the iPhone link.