Programming Resources
For Fun and Learning
Charles Cusack
Computer Science
Hope College
main

Python
C++

JAVA


PHP
SQL
Alice

LogicEquivApp


Description

Run it

BinaryTree.java
Connectives.java
FontFixer.java
LogicEquivApp.java
ProofTable.java
Proposition.java
TreeNode.java

Description
LogicEquivApp is an applet that allows the user to apply logical equivalences to various logical expressions. It even allows the user to enter their own expression. It can be used to write proofs of logical equivalence without worrying about making algebra mistakes.