Code for the Propositional Logic Algorithms
Dataset