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...