LFR software
All of this software requires a Java-enabled browser. If you don't know whether your browser is Java-enabled, there's no harm in trying. Just click on any of the links below.
Rules and Trees
Truth tables
Equivalences in Propositional Logic
Back to the LFR page
revised 10 August 1998