This is a program I wrote in 1996 for a course of Mathematical Logic.
The program converts a Well Formed Formula into Prenex normal form. And it is also a good exercise on using pointers in C++. It compiled with Turbo C++.
Copyright 1996 Rodolfo González González.
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
See the LICENSE file.