https://github.com/rgglez/prenex

Converts a Well Formed Formula into Prenex normal form.
https://github.com/rgglez/prenex

cpp logic prenex-normal-form

Last synced: over 1 year ago
JSON representation

Converts a Well Formed Formula into Prenex normal form.

• Host: GitHub
• URL: https://github.com/rgglez/prenex
• Owner: rgglez
• License: other
• Created: 2023-01-27T01:37:18.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2023-04-05T00:14:49.000Z (over 3 years ago)
• Last Synced: 2025-01-28T01:44:30.799Z (over 1 year ago)
• Topics: cpp, logic, prenex-normal-form
• Language: C++
• Homepage:
• Size: 24.4 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
# Well formed formula to Prenex normal form converter

[![CC BY-NC-SA 4.0][cc-by-nc-sa-shield]][cc-by-nc-sa]

![GitHub all releases](https://img.shields.io/github/downloads/rgglez/prenex/total) 

![GitHub issues](https://img.shields.io/github/issues/rgglez/prenex) 

![GitHub commit activity](https://img.shields.io/github/commit-activity/y/rgglez/prenex)

This is a program I wrote in 1996 for a course of Mathematical Logic.

The program converts a [Well Formed Formula](https://en.wikipedia.org/wiki/Well-formed_formula) into [Prenex normal form](https://en.wikipedia.org/wiki/Prenex_normal_form). And it is also a good exercise on using pointers in C++. It compiled with Turbo C++.

## License

Copyright 1996 Rodolfo González González.

[![CC BY-NC-SA 4.0][cc-by-nc-sa-shield]][cc-by-nc-sa]

This work is licensed under a

[Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License][cc-by-nc-sa].

[![CC BY-NC-SA 4.0][cc-by-nc-sa-image]][cc-by-nc-sa]

[cc-by-nc-sa]: http://creativecommons.org/licenses/by-nc-sa/4.0/

[cc-by-nc-sa-image]: https://licensebuttons.net/l/by-nc-sa/4.0/88x31.png

[cc-by-nc-sa-shield]: https://img.shields.io/badge/License-CC%20BY--NC--SA%204.0-lightgrey.svg

See the LICENSE file.