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

Python
C++

JAVA


PHP
SQL
Alice

LogicEquivQuiz


Description

Run it

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

Description
LogicEquivQuiz is an applet that asks the user to prove a logical equivalence.