somerby.net/mack/logic

A Predicate Logic Calculator