This was a first attempt at writing a Prolog programme to convert boolean expressions into CNF.
The code in this repository is available under the MIT license.
This repository has been archived by the owner on Jun 14, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
A GNU Prolog programme to convert boolean expressions into CNF.
License
kiancross/cnf-prolog
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A GNU Prolog programme to convert boolean expressions into CNF.