The University of Alabama

Equivalency Checker

Enter two formulas:

User Anonymous at internet address 52.23.219.12 on Tue Nov 30 12:07:55 2021


Logic Primer
The Logic Quizmaster © Chris Menzel and Colin Allen ... please let us know of any bugs.
Special thanks to Amy Kind for problem sets and feedback.
Visit the LOGIC Daemon for more proof practice.