- Here's an online
proof checker. Just type in your proof, or copy from a text
editor, and click on execute. Note: This proof checker will not
permit you to use the
*same line*for both the assumption and the conclusion of a conditional proof. - Here's an online logic tool that transforms sentences into disjunctive normal form.

Last modified: Feb 17, 2005