An application to solve symbolic logic through the simulation of truth tables.