Plman

Propositional Logic sentence shell/interpreter

PLMan, or Propositional LogicMan, is a user-friendly and powerful propositional logic sometimes called sentential logic or propositional calculus sentence shell/interpreter written in Java, capable of handling many existing propositional systems of propositional logic, especially the important ones.

WWW http//plman.sourceforge.net/