A Logic Calculator