final project for Logic Algorithms course