ElSoft Online

ElSoft Online
LogicCalc

LogicCalc is a calculator for solving problems in the propositional calculus (symbolic logic). It is useful for those taking an introductory logic cou …