Text this: Constructing and Implementing Algorithms for the Teaching of Propositional Calculus by Computer.